Leni Aniva ef4e5ecbf8 chore: Update version		2025-01-10 12:55:26 -08:00
..
Frontend	feat: Gate type error collection behind flag	2025-01-07 19:40:03 +09:00
Tactic	fix: Tactics should produce `.syntheticOpaque` goals	2024-09-08 14:13:39 -07:00
Delate.lean	refactor: Remove obsolete sanitize option	2024-12-15 12:52:08 -08:00
Elab.lean	refactor: Merge all Delation functions	2024-11-08 14:41:24 -08:00
Environment.lean	test: Source location extraction	2025-01-10 12:47:13 -08:00
Frontend.lean	refactor: InfoTree functions	2024-11-26 12:16:14 -08:00
Goal.lean	fix: Unnecessary instantiation call	2024-12-17 08:18:27 +09:00
Library.lean	feat: Print goals in `goal.print`	2024-12-11 16:49:52 -08:00
Protocol.lean	Merge branch 'dev' into bug/incorrect-binder-capture	2025-01-10 12:48:18 -08:00
Serial.lean	feat: Goal state pickling	2024-12-05 14:23:55 -08:00
Tactic.lean	Merge branch 'dev' into tactic/eval	2024-08-15 22:45:43 -07:00
Version.lean	chore: Update version	2025-01-10 12:55:26 -08:00