Leni Aniva a896e65f69 chore: Update Pantograph and Lean version to 4.12		2024-10-07 20:15:07 -07:00
..
.gitignore	example: Calling aesop (partial)	2024-05-17 20:45:29 -07:00
Example.lean	feat: Compilation unit extraction	2024-05-31 17:09:12 -07:00
lake-manifest.json	chore: Update Pantograph and Lean version to 4.12	2024-10-07 20:15:07 -07:00
lakefile.lean	chore: Update Pantograph and Lean version to 4.12	2024-10-07 20:15:07 -07:00
lean-toolchain	refactor: Update the experiment repo Lean version, use new load_sorry API	2024-09-13 18:18:53 -07:00