Lean 4 formalization of foundational transformation theory for Structural Explainability - defines structural transformation vocabulary, intrinsic effect semantics, and selected relations among transformation operators.
theorem-proving formal-methods formal-verification composition-rules orthogonality lean4 transformation-theory structural-explainability operator-semantics machine-readable-semantics operator-footprints atomic-effect-semantics machine-readable-transformation-registries
-
Updated
Oct 16, 2026 - Lean