• 0.3

    96%
    2 Open
    52 Closed
    Updated 2025-03-29 22:23:34 -07:00
    2025-04-01
    • feat(env): Allow adding definitions/theorems to the environment
    • chore: Stabilize Lean to at least version 4.17.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