Lean 4 formalization of the neutral structural substrate for Structural Explainability.
theorem-proving invariants formal-verification separation lean4 proof-carrying neutral-substrate structural-explainability admissibility
-
Updated
Nov 10, 2026 - Lean