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 है, जो 25 अगस्त 2026 को रिलीज़ हुआ। संस्करण इतिहास में 30 अप्रैल 2025 से 7 रिलीज़ हैं, और सभी आधिकारिक फ़ाइलों से जुड़े हैं। यानी हर साल लगभग 5.3 रिलीज़।
लोकप्रियता और फ़ाइल टाइप
GitHub पर इसके सोर्स कोड (leanprover/elan) को 659 स्टार मिले हैं।
GitHub पर प्रोजेक्ट का विवरण: “The Lean version manager”
खूबियाँ / कमियाँ
खूबियाँ
- ओपन सोर्स: कोई भी इसका कोड देख और बिल्ड कर सकता है
- पोर्टेबल: बिना इंस्टॉल किए चलता है
कमियाँ
- नेटिव ARM64 बिल्ड नहीं है
संक्षेप में: Elan 64-बिट PC के लिए एक ओपन सोर्स Windows टूल है। इसे नियमित रूप से अपडेट किया जाता है।
क्या Elan डाउनलोड करना सुरक्षित है?
- फ़ाइल github.com से आती है, जो प्रकाशक का अपना डोमेन है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- SHA256 हैश प्रकाशित है, इसलिए आप फ़ाइल की जाँच कर सकते हैं:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· इस हैश की VirusTotal रिपोर्ट खोलें - लिंक अभी जाँचा नहीं गया है
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
हाल के संस्करण
सभी 7 संस्करण ›1 साल में 7 संस्करण · हर साल लगभग 5.3
| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 4.2.4नवीनतम | 25 अगस्त 2026 | — | 64-बिट ZIP |
| 4.2.3 | 8 जून 2026 | — | 64-बिट ZIP |
| 4.2.2 | 28 मई 2026 | — | 64-बिट ZIP |
| 4.2.1 | 18 मार्च 2026 | — | 64-बिट ZIP |
| 4.2.0 | 25 फ़रवरी 2026 | — | 64-बिट ZIP |
| 4.1.2 | 26 मई 2025 | — | 64-बिट ZIP |
| 4.1.1 | 30 अप्रैल 2025 | — | 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
- रिलीज़
- 25 अगस्त 2026
- कैटलॉग में जोड़ा गया
- 4 मई 2025
- सूचीबद्ध संस्करण
- 7
- अपडेट / साल
- 5.3
- GitHub स्टार
- 659
- GitHub फ़ोर्क
- 60
- वेबसाइट
- 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 का पुराना संस्करण कहाँ से डाउनलोड करें?
संस्करण पेज पर 30 अप्रैल 2025 से अब तक के सभी 7 संस्करण उनकी आधिकारिक इंस्टॉलर फ़ाइलों के लिंक के साथ दिए गए हैं।
क्या Elan को एडमिनिस्ट्रेटर अधिकारों के बिना इस्तेमाल किया जा सकता है?
हाँ, यह पोर्टेबल है: फ़ाइल अनपैक करें और चलाएँ।
