Jul 17, 2026 · 9 min
OxiLean 0.1.3 Released — An Independent Lean 4 Proof Checker, a 144 KB 'Kernel in a Tab,' and a 7× Verification Speedup
OxiLean 0.1.3 ships oxilean-verify, an independent Lean 4 proof checker with three-bucket verdicts, a 144 KB gzip WASM 'Kernel in a Tab,' a kernel soundness overhaul, and a structural-sharing rewrite cutting full-Init verification from 1h20m to 11m28s — the sovereign theorem-proving layer for the COOLJAPAN ecosystem.
releaseoxileanlean4