Jul 20–26, 2026 · 71 commits
Lean gained safer VC generation, a kernel soundness fix, better HTTP/IO behavior, faster metavariable instantiation, and Linux linking improvements.
Read the issue →Jul 13–19, 2026 · 70 commits
This week adds homomorphism-based grind reasoning, broader vcgen framing/spec handling, and several correctness and performance fixes across core.
Read the issue →Jul 6–12, 2026 · 76 commits
A week of solver and elaboration improvements, with key grind fixes, stricter kernel behavior, better IDE/lint UX, and Lake init changes.
Read the issue →Jun 29 – Jul 5, 2026 · 53 commits
Core gains in list reasoning, tactic UX, timezones, and Lake reliability, plus several performance and soundness fixes.
Read the issue →Jun 22–28, 2026 · 53 commits
This week added VCGen framing and speedups, tightened parser/option behavior, improved Verso docstrings, and shipped several compiler/CI fixes.
Read the issue →Jun 15–21, 2026 · 59 commits
Major VCGen and `mvcgen` improvements, native float models, safer task/runtime handling, and a few Lake/CI fixes.
Read the issue →Jun 8–14, 2026 · 59 commits
This week brought big snapshot-loading gains, grind fixes and extensions, new do/mvcgen behavior, and Lake cache overwrite controls.
Read the issue →May 25–31, 2026 · 43 commits
This week added new tactic/combinator power, expanded VCGen and grind support, hardened linting, and introduced stricter build/runtime checks.
Read the issue →May 18–24, 2026 · 37 commits
This week brought indexed-monad do notation, a new Sym.dsimp pipeline, faster string/dec paths, and several important elaboration and cache fixes.
Read the issue →May 11–17, 2026 · 38 commits
A week of core Lean improvements: clearer time handling, faster elaboration/config code, sturdier tests, and better linting and hover support.
Read the issue →May 4–10, 2026 · 54 commits
This week brought loop verification APIs, a faster experimental VC generator, improved diagnostics, and several safety and tooling fixes.
Read the issue →Apr 27 – May 3, 2026 · 16 commits
This week tightened docstring error reporting, instance visibility, Lake module setup ordering, and several grind correctness issues.
Read the issue →