SZLHOLDINGS/lean-theorem-tree
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.
docs(card): estate audit 2026-09-25 — honest labels, dead links, metadata (#3)
docs: refresh badge stats (files=4, license=apache-2.0)
chore(estate): record managed generation 3c20fe2a6b0c
chore(estate): record managed generation 9103857fb407
chore(estate): record managed generation c138c8ef5069
chore(estate): record managed generation d11b55f24dc4
chore(estate): record managed generation 8dc039c66dff
chore(estate): record managed generation c2549d77d900
chore(estate): record managed generation 1d7d8abeeffb
chore(estate): record managed generation c5965d61cdf3
chore(estate): record managed generation aa08b69b460f
chore(estate): record managed generation a5f761b7e307
chore(estate): record managed generation 5590c2e05d38
chore(estate): record managed generation 187ad69c632d
chore(estate): record managed generation 2f8fd5775336
chore(estate): record managed generation 8d036143ec12
chore(estate): record managed generation a8be4fe65b97
chore(estate): record managed generation 0d83e76c67a5
docs: canon footer upgrade (lean-theorem-tree)
card: estate header v2 (holographic banner + evidence links)
Normalize dataset card metadata and loading boundary (#1)
docs: fix dead links (lean-theorem-tree)
docs: house-style card upgrade (lean-theorem-tree)
docs(cite): add doi: tags + Cite this/BibTeX + PAPERS_INDEX cross-link
docs: fix dead test-results link, add estate cross-links
fix: correct HF artifact counts — 13 Spaces (not 17), 27 datasets (not 29)
docs: add Ouroboros Thesis concept DOI 10.5281/zenodo.19944926
docs: fix card/data mismatch — card claimed 749 but data is a 269-decl snapshot @ c4d13795; state real counts + tier sources honestly
fix: remove mismatched arxiv tags; correct estate counts 27/31->17/29; anchor formulas 40->44; fix dead lutar-lean-browser ref Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>
docs: fix declaration count 626->749 and sorries 189->163 per Doctrine v11 LOCKED
fix: dead links mcp-receipts-server->hatun-mcp, szl-anatomy->SZLHOLDINGS
fix: README.md doctrine v7->v11 LOCKED, update numbers 626/189->749/163
readme: doctrine v7 sync + canonical numbers
fix(readme): correct stale Lean declaration count 217→626 (canonical §10)
fix(doctrine): v7 canonical numbers — v6→v7, tag v6→v7, table 12→15 axioms, footer 217→626, 2/12→4/12 Putnam, footer full fix
fix(claims): resync numbers to Agent C audit 2026-05-30 (Doctrine v7 §3+§10)
docs(immaculate): Series-A immaculate pass — URL verification + canonical 27/31/2 + ORCID + doctrine v6
docs(canonical): update counts to 27/31/2 after Amaru + Λ-Gate migration (v7 §11)
fix(putnam): honest framing — 0/12 Lean-discharged, 10/12 structure coverage only (Doctrine v6)
docs(hf): R3 sweep — ecosystem-stage tag + Provenance section + Putnam 10/12 honest + cohesion footer (doctrine v6)
docs: Doctrine v6 Immaculate Upgrade v2 — 217 decls / 12 axioms / 5 sorries / 35 gates / kernel-green@7ef33a6 / RAE-1 merged / MCP live / Putnam 8.3%
feat: initial thesis instillation — Lean commit c4d13795 — DOI 10.5281/zenodo.20434276
initial commit