SZLHOLDINGS/thesis-corpus-v18
Updated • 78
Datasets
Lean proofs, formulas, thesis corpus, doctrine — the data substrate behind the mesh. Includes the top datasets by download count.
Note Thesis corpus v18.
SZLHOLDINGS/doctrine-v10-v11
Updated • 50Note Doctrine v10/v11 canonical numbers + provenance.
SZLHOLDINGS/rag-corpus-v1
Preview • Updated • 76Note Agentic-RAG corpus v1.
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 141Note Thesis v18 formal verification artifacts.
SZLHOLDINGS/a11oy-verifiable-corpus
Viewer • Updated • 127 • 1.18kNote Signed receipts + proof surface — verify it yourself; read live by the a11oy console.
SZLHOLDINGS/killinchu-osint-corpus
Viewer • Updated • 129k • 15.6k • 1Note Append-only live intel archive — read live by the killinchu console.
-
SZLHOLDINGS/lean-proofs-v1
Updated • 114 -
SZLHOLDINGS/szl-lake
Updated • 424 -
SZLHOLDINGS/readiness-runs
Viewer • Updated • 265 • 471 -
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 46