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 →