Labels Milestones

2 Open 20 Closed

Sort

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

v0.3.5

25%

3 Open

1 Closed

Updated 2025-07-12 12:09:33 -07:00

2025-07-31

• feat(frontend): Refactoring feature (beta) for preparing the start state of a proof search

• fix(goal): Reset messages due to synthetic mvars to prevent compacting closures

v0.4.0

18%

9 Open

2 Closed

Updated 2025-07-11 20:59:05 -07:00

2025-12-31

• feat(goal): Branch unification
• feat(goal): Recursive function generation
• refactor(goal): Allow a goal state to have multiple parents. Allow tactic to act on multiple goals.
• feat(serial): Pickle environment deltas