return to top
source
Lean 4 formalization of foundational coreference theory for Structural Explainability.