Leni Aniva 95be491bbb Merge branch 'dev' into env/catalog		2024-10-06 14:25:48 -07:00
..
Frontend	feat: Add message diagnostics to frontend.process	2024-10-05 14:49:17 -07:00
Tactic	fix: Tactics should produce `.syntheticOpaque` goals	2024-09-08 14:13:39 -07:00
Condensed.lean	refactor: Move all frontend functions to `Frontend`	2024-09-08 15:02:43 -07:00
Environment.lean	chore: Remove more thin wrappers	2024-10-05 10:29:20 -07:00
Expr.lean	fix: Extracting `sorry`s from coupled goals	2024-10-03 11:35:54 -07:00
Frontend.lean	fix: Extracting `sorry`s from coupled goals	2024-10-03 11:35:54 -07:00
Goal.lean	feat: Convert holes to goals	2024-09-09 12:26:46 -07:00
Library.lean	refactor: Move all frontend functions to `Frontend`	2024-09-08 15:02:43 -07:00
Protocol.lean	feat: Add message diagnostics to frontend.process	2024-10-05 14:49:17 -07:00
Serial.lean	refactor: Move all frontend functions to `Frontend`	2024-09-08 15:02:43 -07:00
Tactic.lean	Merge branch 'dev' into tactic/eval	2024-08-15 22:45:43 -07:00
Version.lean	Merge branch 'dev' into frontend/collect-holes	2024-09-09 17:35:10 -07:00