The Fermat's Last Theorem Project
Kevin Buzzard discusses the project to prove Fermat's Last Theorem in Lean.
The first official release of Lean 4
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.