Structural Explainability: Interpretation Boundary Lean 4 formalization of the Interpretation Boundary. What This Formalizes This repository provides a Lean 4 formalization of the Interpretation Boundary. Build and Run lake update lake build lake exe verify Annotations ANNOTATIONS.md Citation CITATION.cff License MIT
