24 versi Lean disenaraikan di sini, dari 1 Mei 2025 hingga versi terkini 4.35.0. Setiap satu dipautkan ke fail pemasang milik penerbit sendiri.
24 versi dalam tempoh 1 tahun · kira-kira 17 setahun
| Versi | Tarikh | Saiz | Fail |
|---|---|---|---|
| 4.35.0Terkini | 12 Oktober 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 24 September 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 14 September 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 21 Ogos 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 10 Ogos 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 28 Julai 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 22 Julai 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 13 Julai 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 15 Jun 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 26 Mei 2026 | — | 64-bit ZIP Nota keluaranThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 14 April 2026 | — | 64-bit ZIP |
| 4.29.0 | 27 Mac 2026 | — | 64-bit ZIP |
| 4.28.0 | 16 Februari 2026 | — | 64-bit ZIP |
| 4.27.0 | 23 Januari 2026 | — | 64-bit ZIP |
| 4.26.0 | 13 Disember 2025 | — | 64-bit ZIP |
| 4.25.2 | 24 November 2025 | — | 64-bit ZIP |
| 4.25.0 | 14 November 2025 | — | 64-bit ZIP |
| 4.24.0 | 14 Oktober 2025 | — | 64-bit ZIP |
| 4.23.0 | 14 September 2025 | — | 64-bit ZIP |
| 4.22.0 | 14 Ogos 2025 | — | 64-bit ZIP |
| 4.21.0 | 30 Jun 2025 | — | 64-bit ZIP |
| 4.20.1 | 4 Jun 2025 | — | 64-bit ZIP |
| 4.20.0 | 2 Jun 2025 | — | 64-bit ZIP |
| 4.19.0 | 1 Mei 2025 | — | 64-bit ZIP |
