· software
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
I formalized the Single Source of Truth SSOT principle in Lean 4 ~2.1k LOC, zero sorry and proved two core results: Structural SSOT is achievable only when a la...