Labels Milestones

1 Open 15 Closed

Sort

Earliest due date Latest due date Least complete Most complete Most issues Least issues

0.3

96%

2 Open

52 Closed

Updated 2025-04-03 15:29:27 -07:00

2025-04-01

• 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