SZLHOLDINGS/szl-ouroboros
Tabular Regression • Updated
Proofs, Formulas & Doctrine
Snapshot-indexed Lean 4 proofs, canonical formulas, doctrine, thesis, and the Ouroboros self-verifying-loop work. Claims apply only to recorded commit
Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-formulas
Tabular Classification • UpdatedNote Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/lean-proofs-v1
Viewer • Updated • 1 • 266Note Maturity: DATASET_CANONICAL. Navigation only; no capability promotion.
SZLHOLDINGS/lean-theorem-tree
Updated • 168Note Maturity: DATASET_DERIVED. Navigation only; no capability promotion.
SZLHOLDINGS/canonical-formulas-v1
Updated • 202Note Maturity: DATASET_CANONICAL. Navigation only; no capability promotion.
SZLHOLDINGS/doctrine-v10-v11
Updated • 228Note Locked doctrine (v10→v11) + canonical numbers and provenance.
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 391Note Ouroboros Thesis v18.0 — Lean 4 + Mathlib. DOI 10.5281/zenodo.20434276.
SZLHOLDINGS/thesis-corpus-v18
Viewer • Updated • 358 • 283Note Thesis corpus v18.
SZLHOLDINGS/ouroboros-arxiv-preprint
Updated • 225Note arXiv-style preprint: the Ouroboros self-verifying-loop paper.