elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
प्रकाशकाचे वर्णन (इंग्रजी)
Elan काय आहे?
Lean FRO यांनी प्रकाशित केलेले Elan हे ओपन सोर्स Windows सॉफ्टवेअर आहे. ते Rust मध्ये लिहिलेले आहे.
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
प्रकाशक 64-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).
अपडेट आणि आवृत्ती इतिहास
सध्याची आवृत्ती 4.2.4 आहे, जी २५ ऑगस्ट, २०२६ रोजी रिलीज झाली. आवृत्ती इतिहासात ३० एप्रिल, २०२५ पासूनची ७ रिलीज आहेत आणि ती सर्व अधिकृत फाइल्सशी जोडलेली आहेत. म्हणजे दरवर्षी सुमारे ५.३ रिलीज.
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (leanprover/elan) ६५९ स्टार मिळाले आहेत.
GitHub वरील प्रोजेक्टचे वर्णन: “The Lean version manager”
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- पोर्टेबल: इन्स्टॉल न करता चालते
मर्यादा
- नेटिव्ह ARM64 बिल्ड नाही
थोडक्यात: Elan हे 64-बिट PC साठीचे ओपन सोर्स Windows टूल आहे. ते नियमितपणे अपडेट केले जाते.
Elan डाउनलोड करणे सुरक्षित आहे का?
- फाइल github.com वरून येते, जे प्रकाशकाचे स्वतःचे डोमेन आहे
- डाउनलोड लिंक HTTPS वापरते
- SHA256 हॅश प्रकाशित आहे, त्यामुळे आपण फाइल तपासू शकता:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· या हॅशचा VirusTotal अहवाल उघडा - लिंक अद्याप तपासलेली नाही
- सोर्स कोड सार्वजनिक आहे
- ExeAtlas इन्स्टॉलर होस्ट करत नाही, रॅप करत नाही आणि बदलत नाही
संबंधित मार्गदर्शक: Windows वर फाइलचा SHA256 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व ७ आवृत्त्या ›१ वर्षांत ७ आवृत्त्या · दरवर्षी सुमारे ५.३
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 4.2.4नवीनतम | २५ ऑगस्ट, २०२६ | — | 64-बिट ZIP |
| 4.2.3 | ८ जून, २०२६ | — | 64-बिट ZIP |
| 4.2.2 | २८ मे, २०२६ | — | 64-बिट ZIP |
| 4.2.1 | १८ मार्च, २०२६ | — | 64-बिट ZIP |
| 4.2.0 | २५ फेब्रुवारी, २०२६ | — | 64-बिट ZIP |
| 4.1.2 | २६ मे, २०२५ | — | 64-बिट ZIP |
| 4.1.1 | ३० एप्रिल, २०२५ | — | 64-बिट ZIP |
कमांड लाइनवरून इन्स्टॉल करा
सायलेंट इन्स्टॉल ›winget install --id Lean.Elan -escoop install main/elanप्रोग्राम फाइल्स (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
संबंधित मार्गदर्शक: winget कसे वापरावे: ॲप्स इन्स्टॉल आणि अपडेट करा
माहिती
- प्रकाशक
- Lean FRO
- लायसन्स
- Apache-2.0
- किंमत
- मोफत
- सोर्स कोड
- github.com/leanprover/elan
- प्रोग्रामिंग भाषा
- Rust
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इन्स्टॉलर
- पोर्टेबल
- आवृत्ती
- 4.2.4
- रिलीज
- २५ ऑगस्ट, २०२६
- कॅटलॉगमध्ये जोडले
- ४ मे, २०२५
- नोंदवलेल्या आवृत्त्या
- 7
- अपडेट / वर्ष
- ५.३
- GitHub स्टार
- ६५९
- GitHub फोर्क
- ६०
- वेबसाइट
- github.com
- winget ID
- Lean.Elan
- Scoop पॅकेज
- main/elan
रेटिंग आणि रिव्ह्यू
अद्याप कोणताही रिव्ह्यू नाही. सर्वात आधी रेटिंग द्या.
वारंवार विचारले जाणारे प्रश्न
Elan मोफत आहे का?
हो. Elan हे ओपन सोर्स सॉफ्टवेअर आहे (Apache-2.0 लायसन्स).
Elan डाउनलोड करणे सुरक्षित आहे का?
फाइल github.com वरून डाउनलोड होते, जो प्रकाशकाचा स्वतःचा आहे; ExeAtlas फाइल होस्ट करत नाही आणि बदलतही नाही. डाउनलोड केलेल्या फाइलचा SHA256 हॅश येथे दाखवलेल्या हॅशशी जुळवा, किंवा त्या हॅशचा VirusTotal अहवाल उघडा.
winget ने Elan कसे इन्स्टॉल करायचे?
PowerShell किंवा Windows Terminal उघडा आणि या पेजवर दिलेली winget कमांड चालवा. winget अधिकृत इन्स्टॉलर डाउनलोड करतो आणि चालवण्यापूर्वी त्याचा SHA256 हॅश तपासतो.
Elan ARM (Windows on Arm) वर चालते का?
ARM64 बिल्ड नाही; Windows 11 on Arm वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
Elan ची जुनी आवृत्ती कुठून डाउनलोड करायची?
आवृत्त्यांच्या पेजवर ३० एप्रिल, २०२५ पासूनच्या सर्व ७ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.
Elan ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?
हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.
