2 Commits

Author	SHA1	Message	Date
Leni Aniva	034fd458e3	chore: Update Pantograph and Lean version to 4.12	2024-10-06 22:04:10 -07:00
Leni Aniva	a30225069a	refactor: All MiniF2F into its own directory	2024-10-03 12:53:07 -07:00