-
v0.2.25 Stable
aniva released this
2025-01-28 17:43:32 -08:00 | 51 commits to dev since this release- feat(goal): Draft tactic
- fix(goal): Prohibit coupling in draft tactics and drafting
- feat(serial): Pickle constants in goal state
- feat(environment): Reading module and import data
- chore: Update Lean to v4.14.0 v4.15.0
- fix(delate): Panic of projection normalization function
Downloads