lean-cli च्या जुन्या आवृत्त्या डाउनलोड करा

येथे lean-cli च्या १ आवृत्ती आहेत, पासून सध्याच्या 1.2.4 पर्यंत. प्रत्येक आवृत्तीची लिंक प्रकाशकाच्या स्वतःच्या इन्स्टॉलर फाइल्सकडे जाते.