Leanのバージョンを、2025年5月1日から最新の4.35.0まで24件掲載しています。いずれも提供元の公式インストーラーにリンクしています。
1年間で24バージョン・年に約17回
| バージョン | 日付 | サイズ | ファイル |
|---|---|---|---|
| 4.35.0最新版 | 2026年10月12日 | — | 64ビット ZIP リリースノートThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 2026年9月24日 | — | 64ビット ZIP リリースノートThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 2026年9月14日 | — | 64ビット ZIP リリースノートThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 2026年8月21日 | — | 64ビット ZIP リリースノートThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 2026年8月10日 | — | 64ビット ZIP リリースノートThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 2026年7月28日 | — | 64ビット ZIP リリースノートThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 2026年7月22日 | — | 64ビット ZIP リリースノートThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 2026年7月13日 | — | 64ビット ZIP リリースノートThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 2026年6月15日 | — | 64ビット ZIP リリースノートThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 2026年5月26日 | — | 64ビット ZIP リリースノートThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 2026年4月14日 | — | 64ビット ZIP |
| 4.29.0 | 2026年3月27日 | — | 64ビット ZIP |
| 4.28.0 | 2026年2月16日 | — | 64ビット ZIP |
| 4.27.0 | 2026年1月23日 | — | 64ビット ZIP |
| 4.26.0 | 2025年12月13日 | — | 64ビット ZIP |
| 4.25.2 | 2025年11月24日 | — | 64ビット ZIP |
| 4.25.0 | 2025年11月14日 | — | 64ビット ZIP |
| 4.24.0 | 2025年10月14日 | — | 64ビット ZIP |
| 4.23.0 | 2025年9月14日 | — | 64ビット ZIP |
| 4.22.0 | 2025年8月14日 | — | 64ビット ZIP |
| 4.21.0 | 2025年6月30日 | — | 64ビット ZIP |
| 4.20.1 | 2025年6月4日 | — | 64ビット ZIP |
| 4.20.0 | 2025年6月2日 | — | 64ビット ZIP |
| 4.19.0 | 2025年5月1日 | — | 64ビット ZIP |
