Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /doc

17.7 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 2 months ago

contributing.md

872 Bytes
use pypantograph for checking submitted statements 2 months ago
icon.svg

5.36 kB
use pypantograph for checking submitted statements 2 months ago
rationale.md

2.97 kB
use pypantograph for checking submitted statements 2 months ago
repl.md

8.52 kB
use pypantograph for checking submitted statements 2 months ago