aniva
released this
2025-04-14 15:31:28 -07:00
| 3 commits to dev since this release
- feat(env): Allow adding definitions/theorems to the environment
- chore: Stabilize Lean to at least version 4.18.0
- feat(goal): Add support for the have, conv, calc tactics
- feat(frontend): Add proof scraping support
- feat: Add condensed delated interface
- feat(goal): Add automatic mode
- feat(serial): Add environment/state pickling
- doc: Add design rational documentation
- feat(goal): Articulation of finished proof term (could be very ugly)
- feat(goal): Tactic execution timeout
Downloads