Datasets - a SZLHOLDINGS Collection

SZLHOLDINGS 's Collections

Warhacker 2026 Demo

SZL Anatomy + Visual Identity

AI Safety + Alignment Scanners

Series-A Diligence Packets

OpenTelemetry for AI Governance

DSSE Governance Receipts

Lean 4 Governance Proofs

SZL Holdings — Formal Verification + Governance Receipts

Datasets

updated 1 day ago

Lean proofs, formulas, thesis corpus, doctrine — the data substrate behind the mesh.

SZLHOLDINGS/thesis-corpus-v18

Updated 1 day ago • 133

Note Thesis corpus v18.
SZLHOLDINGS/doctrine-v10-v11

Updated 1 day ago • 134

Note Doctrine v10/v11 canonical numbers + provenance.
SZLHOLDINGS/rag-corpus-v1

Preview • Updated 1 day ago • 26

Note Agentic-RAG corpus v1.
SZLHOLDINGS/thesis-v18-formal-verification

Viewer • Updated about 24 hours ago • 11 • 278

Note Thesis v18 formal verification artifacts.