The last Month in Mathlib posts date from before the port started, in November 2022. We apologise for the momentary disappearance. We aim to keep it a monthly occurrence from now on.

There were 667 PRs merged in May 2024.

Read more…

Kevin Buzzard discusses the project to prove Fermat's Last Theorem in Lean.

Read more…

Lean 4 has just made its first official stable release, with the arrival of v4.0.0. We're excited to transition from only providing nightly releases to having regular stable releases.

Read more…