Leni Aniva 4549ae1f65 Merge branch 'misc/version' into tactic/eval		2024-07-06 19:56:31 -07:00
..
Elab.lean	chore: Code simplification, version bump	2024-05-31 20:23:10 -07:00
Frontend.lean	chore: Bump Lean version to 4.10.0-rc1	2024-07-06 19:53:50 -07:00
Parse.lean	refactor: Move `have` to prograde tactic	2024-06-25 16:58:35 -04:00