Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.

Lean Theorem Tree — Declaration Manifest Snapshot (269 @ c4d13795)

Doctrine v11 LOCKED. No marketing. Every number resolves to a CI log, a Lean proof, or a Zenodo DOI.

Dependency-graph SNAPSHOT of the Lean 4 declarations in the Ouroboros corpus as of commit c4d13795 (2026-05-29, Lean… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/lean-theorem-tree.