Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

App Files Files Community

lean-refactor-arena / PyPantograph /src /Test

141 kB

Ctrl+K

Ctrl+K

3 contributors

History: 1 commit

mikeljl's picture

use pypantograph for checking submitted statements

0115dcf 2 months ago

Frontend
use pypantograph for checking submitted statements 2 months ago
Tactic
use pypantograph for checking submitted statements 2 months ago
Common.lean

8.18 kB
use pypantograph for checking submitted statements 2 months ago
Delate.lean

6.52 kB
use pypantograph for checking submitted statements 2 months ago
Environment.lean

4.61 kB
use pypantograph for checking submitted statements 2 months ago
Frontend.lean

87 Bytes
use pypantograph for checking submitted statements 2 months ago
Integration.lean

18.5 kB
use pypantograph for checking submitted statements 2 months ago
Library.lean

2.54 kB
use pypantograph for checking submitted statements 2 months ago
Main.lean

2.51 kB
use pypantograph for checking submitted statements 2 months ago
Metavar.lean

21.9 kB
use pypantograph for checking submitted statements 2 months ago
Parser.lean

573 Bytes
use pypantograph for checking submitted statements 2 months ago
Proofs.lean

18.3 kB
use pypantograph for checking submitted statements 2 months ago
Serial.lean

5.44 kB
use pypantograph for checking submitted statements 2 months ago
Tactic.lean

82 Bytes
use pypantograph for checking submitted statements 2 months ago