Frontend
|
fix: Translate level mvars
|
2024-10-09 15:49:10 -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 |
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 |