Hugging Face's logo
SZLHOLDINGS 's Collections
SZL Holdings — Live Products
SZL Holdings — Products (Series-A)
Deep Dives
Datasets
Math Substrate
UDS Ecosystem
Warhacker 2026 Demo
SZL Anatomy + Visual Identity
AI Safety + Alignment
Series-A Diligence Packets
OpenTelemetry for AI Governance
DSSE Governance Receipts
Lean 4 Governance Proofs
SZL Holdings — Formal Verification + Governance Receipts

Lean 4 Governance Proofs

Lean 4 + Mathlib proofs for the SZL governance substrate. 749 decl / 14 axioms / 163 sorries @ c7c0ba17. DOI 10.5281/zenodo.20434276.

Upvote
-