Lean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.
Lean Updated 14 days ago 1 commits 1 stars
nexus-bot|Mirror: structural-explainability/se-theory-persistence (⭐1)
14 days agoAbout
Lean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.
Readme
1 stars