aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity
Pantograph/experiments/minif2f/MiniF2F
History
Leni Aniva 034fd458e3
chore: Update Pantograph and Lean version to 4.12 		2024-10-06 22:04:10 -07:00
..
.gitignore refactor: All MiniF2F into its own directory 2024-10-03 12:53:07 -07:00
MiniF2F.lean refactor: All MiniF2F into its own directory 2024-10-03 12:53:07 -07:00
lake-manifest.json chore: Update Pantograph and Lean version to 4.12 2024-10-06 22:04:10 -07:00
lakefile.lean chore: Update Pantograph and Lean version to 4.12 2024-10-06 22:04:10 -07:00
lean-toolchain refactor: All MiniF2F into its own directory 2024-10-03 12:53:07 -07:00