0 Releases 26 Tags

• v0.3.3 4c7f77b7ca

  Compare

  v0.3.3 Stable

  aniva released this 2025-07-01 15:42:18 -07:00 | 17 commits to dev since this release

  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.focus function since it does not fit into current paradigms.

  Note: There has been many modifications to the API.

  Downloads

  • Source Code (ZIP)
  • Source Code (TAR.GZ)