Lean 4 formalization of foundational coreference theory for Structural Explainability (SE)
theorem-proving formal-verification co-reference lean4 structural-explainability coreference-theory identity-commitments generated-identity
-
Updated
Oct 19, 2026 - PowerShell