Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /Pantograph

158 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 6 days ago

Frontend
use pypantograph for checking submitted statements 6 days ago
Tactic
use pypantograph for checking submitted statements 6 days ago
Delate.lean

25.5 kB
use pypantograph for checking submitted statements 6 days ago
Elab.lean

2.17 kB
use pypantograph for checking submitted statements 6 days ago
Environment.lean

8.27 kB
use pypantograph for checking submitted statements 6 days ago
Frontend.lean

180 Bytes
use pypantograph for checking submitted statements 6 days ago
Goal.lean

32.5 kB
use pypantograph for checking submitted statements 6 days ago
Library.lean

7.99 kB
use pypantograph for checking submitted statements 6 days ago
Protocol.lean

13.9 kB
use pypantograph for checking submitted statements 6 days ago
Serial.lean

6.28 kB
use pypantograph for checking submitted statements 6 days ago
Tactic.lean

100 Bytes
use pypantograph for checking submitted statements 6 days ago
Version.lean

91 Bytes
use pypantograph for checking submitted statements 6 days ago