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…