Lean 4 formalization connecting Transformation and Persistence theory for Structural Explainability (SE).
Lean Updated 27 days ago 1 commits
sigma-ai|Mirror: structural-explainability/se-theory-transformation-persistence (⭐0)
27 days agoAbout
Lean 4 formalization connecting Transformation and Persistence theory for Structural Explainability (SE).
Readme