SZLHOLDINGS/thesis-v18-formal-verification

Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance. Ouroboros Thesis v18 — Formal Verification Doctrine v11 LOCKED. No marketing. Every number resolves to a CI log, a Lean proof, or a Zenodo DOI. Historical snapshot — this dataset is the v18-specific Lean mechanization index. The live source of truth is lean-proofs-v1, which is kept… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/thesis-v18-formal-verification.

<iframe src="https://silytics.si/embed/item/71a24c59-bfff-4b05-b5b4-43b86a84424f" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.