Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src

368 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 2 months ago

Pantograph
use pypantograph for checking submitted statements 2 months ago
Test
use pypantograph for checking submitted statements 2 months ago
doc
use pypantograph for checking submitted statements 2 months ago
.gitignore

60 Bytes
use pypantograph for checking submitted statements 2 months ago
.pre-commit-config.yaml

755 Bytes
use pypantograph for checking submitted statements 2 months ago
LICENSE

10.8 kB
use pypantograph for checking submitted statements 2 months ago
Main.lean

2.6 kB
use pypantograph for checking submitted statements 2 months ago
Pantograph.lean

232 Bytes
use pypantograph for checking submitted statements 2 months ago
README.md

1.18 kB
use pypantograph for checking submitted statements 2 months ago
Repl.lean

26 kB
use pypantograph for checking submitted statements 2 months ago
Tomograph.lean

1.24 kB
use pypantograph for checking submitted statements 2 months ago
flake.lock

3.47 kB
use pypantograph for checking submitted statements 2 months ago
flake.nix

3.51 kB
use pypantograph for checking submitted statements 2 months ago
lake-manifest.json

457 Bytes
use pypantograph for checking submitted statements 2 months ago
lakefile.lean

678 Bytes
use pypantograph for checking submitted statements 2 months ago
lean-toolchain

25 Bytes
use pypantograph for checking submitted statements 2 months ago