July 2026 · 303 commits
Lean 4 sharpens verification, tactics, and kernel safety
July brought major vcgen/grounding work, faster grind/cbv paths, and several kernel soundness fixes.
Read the issue →leanprover/lean4
June 2026 · 221 commits
Lean4 ships major tactic, snapshot, and float-model upgrades
June brought faster incremental loading, a major VCGen overhaul, float modeling, and big do/grind/lint improvements.
Read the issue →May 2026 · 188 commits
Lean4 month of solver hardening, new tactics, and IO/runtime fixes
Major work on grind, mvcgen', and SymM plus Lake/CI and runtime safety improvements across the month.
Read the issue →