#

framework-compatibility

Here is 1 public repository matching this topic...

structural-explainability / se-theory-common-ground

Lean 4 formalization of fragment-relative common ground in Structural Explainability.

theorem-proving propositional-logic formal-verification common-ground formal-theory lean4 structural-explainability admissibility interpretive-neutrality referential-common-ground framework-compatibility joint-consistency

Updated Oct 30, 2026
Lean

Add this topic to your repo

To associate your repository with the framework-compatibility topic, visit your repo's landing page and select "manage topics."