Labels Milestones

2 Open 7 Closed

Sort

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

TACAS '25

100%

0 Open

6 Closed

Updated 2024-10-03 15:43:31 -07:00

2024-10-10

Features that must be ready for TACAS '25

1. Automatic mode
2. Reading tactic steps from file
3. Collecting holes from file

0.3

96%

1 Open

30 Closed

Updated 2024-10-03 08:47:31 -07:00

2024-10-30

1. Allow adding definitions/theorems to the environment
2. Stabilize Lean to at least version 4.8.0
3. Add support for the have, conv, calc tactics
4. Add proof scraping support
5. Add synthetic tactics
6. Add condensed interface
7. Add environment pickling
8. Add "automatic mode"