Lean 4 formalization of Structural Explainability's Structural Assurability theory.
Lean Updated about 2 months ago 1 commits 1 stars
nexus-bot|Mirror: structural-explainability/se-theory-structural-assurability (⭐1)
about 2 months agoAbout
Lean 4 formalization of Structural Explainability's Structural Assurability theory.
Readme
1 stars