Pantograph/Pantograph
Leni Aniva 2790553180
feat: Environment save/load commands
2024-11-13 19:50:31 -08:00
..
Frontend fix: Translate level mvars 2024-10-09 15:49:10 -07: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 feat: Environment save/load commands 2024-11-13 19:50:31 -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