Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /Test

141 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
Common.lean

8.18 kB
use pypantograph for checking submitted statements 6 days ago
Delate.lean

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

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

87 Bytes
use pypantograph for checking submitted statements 6 days ago
Integration.lean

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

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

2.51 kB
use pypantograph for checking submitted statements 6 days ago
Metavar.lean

21.9 kB
use pypantograph for checking submitted statements 6 days ago
Parser.lean

573 Bytes
use pypantograph for checking submitted statements 6 days ago
Proofs.lean

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

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

82 Bytes
use pypantograph for checking submitted statements 6 days ago