Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /Test /Frontend

25.2 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 6 days ago

Collect.lean

7.55 kB
use pypantograph for checking submitted statements 6 days ago
Distil.lean

14.8 kB
use pypantograph for checking submitted statements 6 days ago
Refactor.lean

2.87 kB
use pypantograph for checking submitted statements 6 days ago