Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src

368 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 6 days ago

Pantograph
use pypantograph for checking submitted statements 6 days ago
Test
use pypantograph for checking submitted statements 6 days ago
doc
use pypantograph for checking submitted statements 6 days ago
.gitignore

60 Bytes
use pypantograph for checking submitted statements 6 days ago
.pre-commit-config.yaml

755 Bytes
use pypantograph for checking submitted statements 6 days ago
LICENSE

10.8 kB
use pypantograph for checking submitted statements 6 days ago
Main.lean

2.6 kB
use pypantograph for checking submitted statements 6 days ago
Pantograph.lean

232 Bytes
use pypantograph for checking submitted statements 6 days ago
README.md

1.18 kB
use pypantograph for checking submitted statements 6 days ago
Repl.lean

26 kB
use pypantograph for checking submitted statements 6 days ago
Tomograph.lean

1.24 kB
use pypantograph for checking submitted statements 6 days ago
flake.lock

3.47 kB
use pypantograph for checking submitted statements 6 days ago
flake.nix

3.51 kB
use pypantograph for checking submitted statements 6 days ago
lake-manifest.json

457 Bytes
use pypantograph for checking submitted statements 6 days ago
lakefile.lean

678 Bytes
use pypantograph for checking submitted statements 6 days ago
lean-toolchain

25 Bytes
use pypantograph for checking submitted statements 6 days ago