SZLHOLDINGS/lean-proofs-v1
Updated • 458
Math Substrate
Lean 4 proofs, canonical formulas, theorem tree. Locked proven set = 8 {F1,F4,F7,F11,F12,F18,F19,F22}. Λ=Conjecture 1.
Note Lean 4 proof corpus (749 decl / 14 axioms / 163 sorries).
SZLHOLDINGS/canonical-formulas-v1
Updated • 379Note Canonical formula index (13-axis).
SZLHOLDINGS/lean-theorem-tree
Viewer • Updated • 1 • 92Note Lean theorem dependency tree.
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 64Note K-Verify benchmark: the harness that scores formal-verification coverage.