Labels Milestones

2 Open 19 Closed

Sort

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

0.3.4

60%

2 Open

3 Closed

Updated 2025-07-02 15:46:57 -07:00

2025-07-31

• feat(goal): Branch unification with aux lemma handling
• feat(frontend): Tomograph
• feat(frontend): Compilation unit category information
• chore(toolchain): Update Lean to v4.21.0

0.4.0

10%

9 Open

1 Closed

Updated 2025-07-02 15:26:59 -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