#

comparative-assurability

Here is 1 public repository matching this topic...

structural-explainability / se-theory-structural-assurability

Lean 4 formalization of Structural Explainability's Structural Assurability theory.

theorem-proving formal-methods assurance formal-verification structural-explainability structural-assurability assurance-engineering comparative-assurability observational-indistinguishability

Updated Sep 29, 2026
Lean

Add this topic to your repo

To associate your repository with the comparative-assurability topic, visit your repo's landing page and select "manage topics."