Labels Milestones

2 Open 17 Closed

Sort

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

0.3.2

0%

5 Open

0 Closed

Updated 2025-05-07 06:54:21 -07:00

2025-06-01

• chore: Update Lean to at least v4.19.0
• feat: Pickle expression objects
• feat(frontend): Pipe data extraction output to file

0.4.0

0%

8 Open

0 Closed

Updated 2025-05-17 11:22:13 -07:00

2025-12-31

• feat: Branch unification
• feat: Recursive function generation