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 →leanprover/lean4
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 →