SZLHOLDINGS/szl-lake
Updated • 13
AI & ML interests
None defined yet.
Recent Activity
View all activity
SZLHOLDINGS/readiness-runs
Viewer • Updated • 36 • 16
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 278
SZLHOLDINGS/lean-theorem-tree
Viewer • Updated • 1 • 57
SZLHOLDINGS/szl-artifacts
Viewer • Updated • 52 • 180
SZLHOLDINGS/ouroboros-arxiv-preprint
Preview • Updated • 77
SZLHOLDINGS/why-we-lead
Viewer • Updated • 11 • 107
SZLHOLDINGS/uds-governance-receipts
Updated • 119
SZLHOLDINGS/szl-visual-identity
Viewer • Updated • 69 • 298
SZLHOLDINGS/uds-spans-receipts
Updated • 160
SZLHOLDINGS/doctrine-v10-v11
Updated • 134
SZLHOLDINGS/rag-corpus-v1
Preview • Updated • 26
SZLHOLDINGS/canonical-formulas-v1
Updated • 134
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 13
SZLHOLDINGS/org-card-assets
Updated • 1
SZLHOLDINGS/usb-bundle-v1
Updated • 20
SZLHOLDINGS/uds-bundles-v1
Updated • 42
SZLHOLDINGS/thesis-corpus-v18
Updated • 133
SZLHOLDINGS/lean-proofs-v1
Updated • 136
SZLHOLDINGS/SZLHOLDINGS
Updated • 130