येथे Lean च्या २४ आवृत्त्या आहेत, १ मे, २०२५ पासून सध्याच्या 4.35.0 पर्यंत. प्रत्येक आवृत्तीची लिंक प्रकाशकाच्या स्वतःच्या इन्स्टॉलर फाइल्सकडे जाते.
१ वर्षांत २४ आवृत्त्या · दरवर्षी सुमारे १७
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 4.35.0नवीनतम | १२ ऑक्टोबर, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | २४ सप्टेंबर, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | १४ सप्टेंबर, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | २१ ऑगस्ट, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | १० ऑगस्ट, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | २८ जुलै, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | २२ जुलै, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | १३ जुलै, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | १५ जून, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | २६ मे, २०२६ | — | 64-बिट ZIP रिलीज नोट्सThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | १४ एप्रिल, २०२६ | — | 64-बिट ZIP |
| 4.29.0 | २७ मार्च, २०२६ | — | 64-बिट ZIP |
| 4.28.0 | १६ फेब्रुवारी, २०२६ | — | 64-बिट ZIP |
| 4.27.0 | २३ जानेवारी, २०२६ | — | 64-बिट ZIP |
| 4.26.0 | १३ डिसेंबर, २०२५ | — | 64-बिट ZIP |
| 4.25.2 | २४ नोव्हेंबर, २०२५ | — | 64-बिट ZIP |
| 4.25.0 | १४ नोव्हेंबर, २०२५ | — | 64-बिट ZIP |
| 4.24.0 | १४ ऑक्टोबर, २०२५ | — | 64-बिट ZIP |
| 4.23.0 | १४ सप्टेंबर, २०२५ | — | 64-बिट ZIP |
| 4.22.0 | १४ ऑगस्ट, २०२५ | — | 64-बिट ZIP |
| 4.21.0 | ३० जून, २०२५ | — | 64-बिट ZIP |
| 4.20.1 | ४ जून, २०२५ | — | 64-बिट ZIP |
| 4.20.0 | २ जून, २०२५ | — | 64-बिट ZIP |
| 4.19.0 | १ मे, २०२५ | — | 64-बिट ZIP |
