SZLHOLDINGS/lean-proofs-v1
Updated • 178
Proofs & Doctrine
Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree.
-
-
SZLHOLDINGS/lean-theorem-tree
Viewer • Updated • 1 • 113 -
SZLHOLDINGS/canonical-formulas-v1
Updated • 85 -
SZLHOLDINGS/doctrine-v10-v11
Viewer • Updated • 1 • 103 -
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 149 -
SZLHOLDINGS/thesis-corpus-v18
Updated • 146 -
SZLHOLDINGS/ouroboros-arxiv-preprint
Viewer • Updated • 1 • 118
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 87Note Merged from math-substrate
SZLHOLDINGS/szl-nemo
Text Generation • Updated • 5Note Recipe tier — doctrine wrapper over NVIDIA's open Nemotron 3 Nano 4B; not an SZL fine-tune; serves from the tower once pulled (prepared · wired).