chore: Update Lean to v4.15.0 #134

Merged

aniva merged 9 commits from misc/version into dev

2025-01-13 12:28:50 -08:00

Author	SHA1	Message	Date
Leni Aniva	60e78b322e	fix: Test failures	2025-01-13 12:28:16 -08:00
Leni Aniva	06fdf7e678	chore: Update Lean to v4.15.0	2025-01-13 11:09:55 -08:00
Leni Aniva	5e61282660	test: Source location extraction	2025-01-13 10:30:26 -08:00
Leni Aniva	9d2a999a4f	merge: branch 'dev' into misc/version	2025-01-13 10:29:50 -08:00
Leni Aniva	f891960362	fix: Volatile test	2025-01-07 17:52:28 -08:00
Leni Aniva	6302b747b8	feat: Improve error message clarity	2025-01-07 17:51:32 -08:00
Leni Aniva	13e01b9e62	Merge branch 'dev' into misc/version	2024-12-11 20:53:32 -08:00
Leni Aniva	fb3d36584f	chore: Add formatter, update lean4-nix	2024-12-05 18:59:14 -08:00
Leni Aniva	13dd11e995	chore: Update Lean to v4.14	2024-12-05 18:55:30 -08:00