Cette page répertorie 24 versions de Lean, du 1 mai 2025 à l’actuelle 4.35.0. Chacune renvoie aux fichiers d’installation de l’éditeur.
24 versions en 1 an · environ 17 par an
| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 4.35.0Dernière version | 12 octobre 2026 | — | 64 bits ZIP Notes de versionThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 24 septembre 2026 | — | 64 bits ZIP Notes de versionThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 14 septembre 2026 | — | 64 bits ZIP Notes de versionThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 21 août 2026 | — | 64 bits ZIP Notes de versionThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 10 août 2026 | — | 64 bits ZIP Notes de versionThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 28 juillet 2026 | — | 64 bits ZIP Notes de versionThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 22 juillet 2026 | — | 64 bits ZIP Notes de versionThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 13 juillet 2026 | — | 64 bits ZIP Notes de versionThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 15 juin 2026 | — | 64 bits ZIP Notes de versionThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 26 mai 2026 | — | 64 bits ZIP Notes de versionThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 14 avril 2026 | — | 64 bits ZIP |
| 4.29.0 | 27 mars 2026 | — | 64 bits ZIP |
| 4.28.0 | 16 février 2026 | — | 64 bits ZIP |
| 4.27.0 | 23 janvier 2026 | — | 64 bits ZIP |
| 4.26.0 | 13 décembre 2025 | — | 64 bits ZIP |
| 4.25.2 | 24 novembre 2025 | — | 64 bits ZIP |
| 4.25.0 | 14 novembre 2025 | — | 64 bits ZIP |
| 4.24.0 | 14 octobre 2025 | — | 64 bits ZIP |
| 4.23.0 | 14 septembre 2025 | — | 64 bits ZIP |
| 4.22.0 | 14 août 2025 | — | 64 bits ZIP |
| 4.21.0 | 30 juin 2025 | — | 64 bits ZIP |
| 4.20.1 | 4 juin 2025 | — | 64 bits ZIP |
| 4.20.0 | 2 juin 2025 | — | 64 bits ZIP |
| 4.19.0 | 1 mai 2025 | — | 64 bits ZIP |
