24 versions of Lean are listed here, from May 1, 2025 to the current 4.35.0. Each one links to the publisher’s own installer files.
24 versions over 1 year · about 17 a year
| Version | Date | Size | Files |
|---|---|---|---|
| 4.35.0Latest | October 12, 2026 | — | 64-bit ZIP Release notesThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | September 24, 2026 | — | 64-bit ZIP Release notesThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | September 14, 2026 | — | 64-bit ZIP Release notesThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | August 21, 2026 | — | 64-bit ZIP Release notesThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | August 10, 2026 | — | 64-bit ZIP Release notesThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | July 28, 2026 | — | 64-bit ZIP Release notesThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | July 22, 2026 | — | 64-bit ZIP Release notesThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | July 13, 2026 | — | 64-bit ZIP Release notesThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | June 15, 2026 | — | 64-bit ZIP Release notesThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | May 26, 2026 | — | 64-bit ZIP Release notesThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | April 14, 2026 | — | 64-bit ZIP |
| 4.29.0 | March 27, 2026 | — | 64-bit ZIP |
| 4.28.0 | February 16, 2026 | — | 64-bit ZIP |
| 4.27.0 | January 23, 2026 | — | 64-bit ZIP |
| 4.26.0 | December 13, 2025 | — | 64-bit ZIP |
| 4.25.2 | November 24, 2025 | — | 64-bit ZIP |
| 4.25.0 | November 14, 2025 | — | 64-bit ZIP |
| 4.24.0 | October 14, 2025 | — | 64-bit ZIP |
| 4.23.0 | September 14, 2025 | — | 64-bit ZIP |
| 4.22.0 | August 14, 2025 | — | 64-bit ZIP |
| 4.21.0 | June 30, 2025 | — | 64-bit ZIP |
| 4.20.1 | June 4, 2025 | — | 64-bit ZIP |
| 4.20.0 | June 2, 2025 | — | 64-bit ZIP |
| 4.19.0 | May 1, 2025 | — | 64-bit ZIP |
