This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
9
Pull Requests
2
Packages
Projects
Releases
1
Wiki
Activity
c99125c4a6
Pantograph
/
Test
History
Leni Aniva
736e68639f
fix: New goal state not inserted correctly
2023-11-07 13:07:50 -08:00
..
Common.lean
test: Separate mvar coupling tests
2023-11-04 15:01:41 -07:00
Holes.lean
fix: Use Lean's built in name parser
2023-11-06 10:45:11 -08:00
Integration.lean
fix: New goal state not inserted correctly
2023-11-07 13:07:50 -08:00
Main.lean
Merge branch 'dev' into goal/continuation
2023-11-06 11:45:24 -08:00
Proofs.lean
fix: Use Lean's built in name parser
2023-11-06 10:45:11 -08:00
Serial.lean
fix: Use Lean's built in name parser
2023-11-06 10:45:11 -08:00