0.3.3
- feat(serial): Collect auxiliary lemmas in environments and goal states
- feat(goal): Branch unification (beta)
- feat(goal): Overhaul infrastructure for handling conv. Introduce the fragment-based system for handling partially-executed tactics.
- refactor(goal): Allow a goal state to have multiple parent goals. Delete the
GoalState.focusfunction since it does not fit into current paradigms.
87% Completed
