Lean 4 formalization of the contextual structural explainability layer.
provenance attestation interpretation lean4 structural-explainability contextual-evidence explanation-interface
-
Updated
Jan 1, 2026 - Lean