0.4.0

New Issue

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

2025-12-31

10% Completed

🖇️ Articulation and Syntax Processing

#213 opened 2025-06-19 13:23:40 -07:00 by aniva

test(repl): Long-running tests of REPL

#211 opened 2025-06-17 11:35:54 -07:00 by aniva

dev

repl/test

Pickle proof object

#203 opened 2025-05-05 08:05:15 -07:00 by aniva

Documentation about safety

category

doc

part/Frontend

#196 opened 2025-04-23 05:50:17 -07:00 by aniva

Code generation of recursors

#191 opened 2025-04-14 16:23:38 -07:00 by aniva

Use non-computable section by default

category

feature

part/Goal

#190 opened 2025-04-14 16:01:57 -07:00 by aniva

Implement MonadBacktrack for MainM and backtrack goal states as well

#180 opened 2025-03-29 12:42:09 -07:00 by aniva

🖇️ Recursive Functions and Termination Proofs

category

feature

part/Goal

#170 opened 2025-02-25 17:07:56 -08:00 by aniva

Add option for Meta.ppGoal

#78 opened 2024-06-10 13:03:06 -07:00 by aniva