Leni Aniva 06fdf7e678 chore: Update Lean to v4.15.0		2025-01-13 11:09:55 -08:00
..
Basic.lean	Merge branch 'dev' into misc/version	2024-12-11 20:53:32 -08:00
Elab.lean	merge: branch 'dev' into misc/version	2025-01-13 10:29:50 -08:00
InfoTree.lean	chore: Update Lean to v4.15.0	2025-01-13 11:09:55 -08:00
MetaTranslate.lean	fix: Translate level mvars	2024-10-09 15:49:10 -07:00