Labels Milestones

2 Open 10 Closed

Sort

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

0.2.21

50%

1 Open

1 Closed

Updated 2024-11-17 17:14:12 -08:00

2024-11-30

• feat: Support environment pickling
• feat: Support goal state pickling
• test: Dual monad tests for pickling and IPC

0.3

93%

2 Open

29 Closed

Updated 2024-11-15 23:49:14 -08:00

2024-12-15

• feat: Allow adding definitions/theorems to the environment
• chore: Stabilize Lean to at least version 4.8.0 4.12.0
• feat: Add support for the have, conv, calc tactics
• feat: Add proof scraping support
• feat: Add synthetic tactics (motivated apply, no confuse, etc.)
• feat: Add condensed delated interface
• feat: Add automatic mode
• feat: Add environment/state pickling
• doc: Add design rational documentation