What's Changed
- Add SMT-LIB Models for Domination Admissibility by @JonRademacher in #1
New Contributors
- @JonRademacher made their first contribution in #1
Full Changelog: https://github.com/JonRademacher/standing-algebra/commits/v1.0.0
This release contains the formally verified core of Standing Algebra (Σᴿ).
The invariants governing domination‑preserving transformations are mechanically validated across:
- Lean 4
- Coq
- SMT‑LIB (Z3)
This release represents the first stable, domain‑agnostic version of the framework suitable for reuse, inspection, and citation.
See the repository README for usage and structure details.
Contributors
JonRademacher