Structural Explainability: Contextual Evidence & Explanations (CEE) Lean 4 formalization of the contextual structural explainability layer. What This Formalizes This repository provides a Lean 4 formalization of the Contextual Evidence & Explanations (CEE) layer. Build and Run lake update lake build lake exe verify Annotations ANNOTATIONS.md Citation CITATION.cff License MIT
