Lean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.
theorem-proving formal-methods lean4 structural-explainability identity-persistence persistence-theory identity-survival identity-breakage persistence-invariance persistence-equivalence
-
Updated
Oct 17, 2026 - Lean