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 मा लेखिएको हो।
इन्स्टलेसन र सिस्टम आवश्यकता
प्रकाशकले ६४-बिट Windows का लागि पोर्टेबल इन्स्टलर दिन्छ। यसलाई इन्स्टल नगरी चलाउन सकिन्छ (पोर्टेबल)।
अपडेट र संस्करण इतिहास
हालको संस्करण 4.2.4 हो, जुन २०२६ अगस्ट २५ मा रिलिज भएको थियो। संस्करण इतिहासमा २०२५ अप्रिल ३० देखि ७ रिलिज छन्, र सबै आधिकारिक फाइलसँग जोडिएका छन्। अर्थात् प्रति वर्ष लगभग ५.३ रिलिज।
लोकप्रियता र फाइल प्रकार
GitHub मा यसको सोर्स कोड (leanprover/elan) ले ६५९ स्टार पाएको छ।
GitHub मा प्रोजेक्टको विवरण: “The Lean version manager”
राम्रा पक्ष / कमजोरी
राम्रा पक्ष
- ओपन सोर्स: जो कोहीले यसको कोड हेर्न र बिल्ड गर्न सक्छ
- पोर्टेबल: इन्स्टल नगरी चल्छ
कमजोरी
- नेटिभ ARM64 बिल्ड छैन
संक्षेपमा: Elan ६४-बिट PC का लागि एउटा ओपन सोर्स Windows टुल हो। यसलाई नियमित रूपमा अपडेट गरिन्छ।
के Elan डाउनलोड गर्नु सुरक्षित छ?
- फाइल github.com बाट आउँछ, जुन प्रकाशकको आफ्नै डोमेन हो
- डाउनलोड लिङ्कले HTTPS प्रयोग गर्छ
- SHA256 ह्यास प्रकाशित छ, त्यसैले तपाईं फाइल जाँच्न सक्नुहुन्छ:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस् - लिङ्क अहिलेसम्म जाँचिएको छैन
- सोर्स कोड सार्वजनिक छ
- ExeAtlas ले इन्स्टलर न होस्ट गर्छ, न र्याप गर्छ, न बदल्छ
सम्बन्धित गाइड: Windows मा फाइलको SHA256 ह्यास कसरी जाँच्ने
हालैका संस्करणहरू
सबै ७ संस्करण ›१ वर्षमा ७ संस्करण · प्रति वर्ष लगभग ५.३
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 4.2.4पछिल्लो | २०२६ अगस्ट २५ | — | ६४-बिट ZIP |
| 4.2.3 | २०२६ जुन ८ | — | ६४-बिट ZIP |
| 4.2.2 | २०२६ मे २८ | — | ६४-बिट ZIP |
| 4.2.1 | २०२६ मार्च १८ | — | ६४-बिट ZIP |
| 4.2.0 | २०२६ फेब्रुअरी २५ | — | ६४-बिट ZIP |
| 4.1.2 | २०२५ मे २६ | — | ६४-बिट ZIP |
| 4.1.1 | २०२५ अप्रिल ३० | — | ६४-बिट 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
- आर्किटेक्चर
- ६४-बिट
- इन्स्टलर
- पोर्टेबल
- संस्करण
- 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 मा ६४-बिट संस्करण इमुलेसनमार्फत चल्न सक्छ।
Elan को पुरानो संस्करण कहाँबाट डाउनलोड गर्ने?
संस्करण पेजमा २०२५ अप्रिल ३० देखि अहिलेसम्मका सबै ७ संस्करण तिनका आधिकारिक इन्स्टलर फाइलका लिङ्कसहित दिइएका छन्।
के Elan एडमिनिस्ट्रेटर अधिकारबिना प्रयोग गर्न सकिन्छ?
सकिन्छ, यो पोर्टेबल हो: फाइल अनप्याक गर्नुहोस् र चलाउनुहोस्।
