Lutar Lean Browser
🚀
Browse and view Lean 4 theorems from the SZL thesis
Lean 4 Governance Proofs
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
Browse and view Lean 4 theorems from the SZL thesis
Lean 4 proof explorer — 134 verified, 76 theorems