ही जुनी आवृत्ती आहे. नवीनतम आवृत्ती 4.35.0 आहे. Lean 4.35.0 · रिलीज:
इन्स्टॉलर फाइल्स 4.32.2
| आर्किटेक्चर | प्रकार | कोणासाठी | फाइल आकार | डाउनलोड | SHA256 |
|---|---|---|---|---|---|
| 64-बिट | ZIP → पोर्टेबल | — | — | github.com | VirusTotal |
लिंक आणि SHA256 हे Windows Package Manager च्या कम्युनिटी मॅनिफेस्टमधून घेतले आहेत. फाइल चालवण्यापूर्वी तिचा हॅश जुळवून पाहा.
रिलीज नोट्स
This is the v4.32.2 release of Lean. View the release notes for more information.
