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