Leni Aniva 4bfd606e2a Merge branch 'dev' into serial/pickle		2024-11-15 23:09:08 -08:00
..
Frontend	feat: Extract used constants from invocation	2024-11-05 14:37:06 -08:00
Tactic	fix: Tactics should produce `.syntheticOpaque` goals	2024-09-08 14:13:39 -07:00
Delate.lean	refactor: Merge all Delation functions	2024-11-08 14:41:24 -08:00
Elab.lean	refactor: Merge all Delation functions	2024-11-08 14:41:24 -08:00
Environment.lean	feat: Environment pickling	2024-11-08 14:49:49 -08: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: Merge all Delation functions	2024-11-08 14:41:24 -08:00
Protocol.lean	Merge branch 'dev' into serial/pickle	2024-11-15 23:09:08 -08:00
Serial.lean	feat: Environment save/load commands	2024-11-13 19:50:31 -08: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