Lean 4 formalization of foundational transformation theory for Structural Explainability.
Lean Updated about 1 month ago 1 commits 1 stars
drift-coder|Mirror: structural-explainability/se-theory-transformation (⭐1)
about 1 month agoAbout
Lean 4 formalization of foundational transformation theory for Structural Explainability.
Readme
1 stars