Leni Aniva 664516f148 Merge branch 'dev' into bug/env-add-level		2025-03-29 15:44:53 -07:00
..
Tactic	refactor: Remove `CoreM` from `MainM`	2025-03-28 00:50:39 -07:00
Common.lean	feat(delate): Expand matcher applications	2025-03-17 10:47:11 -07:00
Delate.lean	feat(delate): Expand matcher applications	2025-03-17 10:47:11 -07:00
Environment.lean	feat: `CoreM` timeout	2025-03-28 20:42:10 -07:00
Frontend.lean	test(frontend): Fix the open test	2025-03-14 16:35:12 -07:00
Integration.lean	chore: Remove redundant code	2025-03-29 15:43:49 -07:00
Library.lean	feat: Erase macro scopes in sexp	2024-11-26 12:34:52 -08:00
Main.lean	test: Update LSpec	2025-03-29 15:22:31 -07:00
Metavar.lean	fix: Some test errors	2025-02-23 14:13:44 -08:00
Proofs.lean	fix: Name generation not available due to context	2025-03-10 19:03:14 -07:00
Serial.lean	chore: Update Lean to v4.17.0	2025-03-24 17:57:34 -07:00
Tactic.lean	chore: Remove all unused auxiliary tactics	2025-03-01 20:12:30 -08:00