Labels Milestones

1 Open 15 Closed

Sort

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

0.3

90%

4 Open

38 Closed

Updated 2025-02-16 14:39:43 -08:00

2025-03-01

• feat(env): Allow adding definitions/theorems to the environment
• chore: Stabilize Lean to at least version 4.16.0
• feat(goal): Add support for the have, conv, calc tactics
• feat(frontend): Add proof scraping support
• feat(goal): Add synthetic tactics (motivated apply, no confuse, etc.)
• 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)