Lean Kernel — Lutar Invariant Λ
🔏
Live Lean v4.13.0 kernel for the Lutar Invariant
Math Substrate
Lean kernel, canonical formulas, theorem verifier (lean-kernel Space + Lean theorem datasets).
Note Lean 4 theorem verifier kernel Space.
SZLHOLDINGS/lean-proofs-v1
Updated • 136Note Lean 4 proof corpus (749 decl / 14 axioms / 163 sorries).
SZLHOLDINGS/canonical-formulas-v1
Updated • 134Note Canonical formula index (13-axis).
SZLHOLDINGS/lean-theorem-tree
Viewer • Updated • 1 • 57Note Lean theorem dependency tree.
SZLHOLDINGS/thesis-formula-index
Viewer • Updated • 1 • 53Note Thesis formula index.
SZLHOLDINGS/lutar-lean-source
Updated • 21Note lutar-lean source @ lutar-v18.0.0.