Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
प्रकाशक का विवरण (अंग्रेज़ी)
Lean क्या है?
Lean FRO द्वारा प्रकाशित Lean एक ओपन सोर्स Windows सॉफ़्टवेयर है (श्रेणी: IDE और कोड एडिटर)। इसे Lean में लिखा गया है।
इंस्टॉलेशन और सिस्टम आवश्यकताएँ
प्रकाशक 64-बिट Windows के लिए पोर्टेबल इंस्टॉलर देता है। इसे इंस्टॉल किए बिना चलाया जा सकता है (पोर्टेबल)।
अपडेट और संस्करण इतिहास
मौजूदा संस्करण 4.35.0 है, जो 12 अक्टूबर 2026 को रिलीज़ हुआ। संस्करण इतिहास में 1 मई 2025 से 24 रिलीज़ हैं, और सभी आधिकारिक फ़ाइलों से जुड़े हैं। यानी हर साल लगभग 17 रिलीज़। आख़िरी अपडेट एक महीने से कम पुराना है।
लोकप्रियता और फ़ाइल टाइप
GitHub पर इसके सोर्स कोड (leanprover/lean4) को 9,626 स्टार मिले हैं। इसी तरह के प्रोग्राम: OpenCode, RStudio और Node.js (LTS)।
GitHub पर प्रोजेक्ट का विवरण: “Lean 4 programming language and theorem prover”
खूबियाँ / कमियाँ
खूबियाँ
- ओपन सोर्स: कोई भी इसका कोड देख और बिल्ड कर सकता है
- पोर्टेबल: बिना इंस्टॉल किए चलता है
- बार-बार अपडेट (साल में लगभग 17)
- बड़ा यूज़र बेस
कमियाँ
- नेटिव ARM64 बिल्ड नहीं है
संक्षेप में: Lean 64-बिट PC के लिए एक ओपन सोर्स Windows टूल है (श्रेणी: IDE और कोड एडिटर)। इसे नियमित रूप से अपडेट किया जाता है।
क्या Lean डाउनलोड करना सुरक्षित है?
- फ़ाइल github.com से आती है, जो प्रकाशक का अपना डोमेन है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- SHA256 हैश प्रकाशित है, इसलिए आप फ़ाइल की जाँच कर सकते हैं:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· इस हैश की VirusTotal रिपोर्ट खोलें - लिंक अभी जाँचा नहीं गया है
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
सुरक्षा के तौर-तरीके (OpenSSF Scorecard)
Open Source Security Foundation द्वारा GitHub पर leanprover/lean4 रिपॉज़िटरी की अपने-आप होने वाली जाँच, पिछली बार 19 अक्टूबर 2026 को।
- सक्रिय रखरखाव10
- कोई ख़तरनाक वर्कफ़्लो नहीं10
- लाइसेंस घोषित10
- रिपॉज़िटरी में बाइनरी नहीं10
- पिन की हुई डिपेंडेंसी4
- कोड रिव्यू1
- टोकन अनुमतियाँ सीमित0
- OpenSSF Best Practices बैज0
- सुरक्षा नीति0
- फ़ज़िंग0
- साइन की हुई रिलीज़0
- स्टैटिक कोड विश्लेषण0
यह स्कोर बताता है कि प्रोजेक्ट कैसे बनाया और रिलीज़ किया जाता है, यह नहीं कि प्रोग्राम इंस्टॉल करना सुरक्षित है या नहीं। scorecard.dev
हाल के संस्करण
सभी 24 संस्करण ›1 साल में 24 संस्करण · हर साल लगभग 17
| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 4.35.0नवीनतम | 12 अक्टूबर 2026 | — | 64-बिट ZIP |
| 4.34.1 | 24 सितंबर 2026 | — | 64-बिट ZIP |
| 4.34.0 | 14 सितंबर 2026 | — | 64-बिट ZIP |
| 4.33.1 | 21 अगस्त 2026 | — | 64-बिट ZIP |
| 4.33.0 | 10 अगस्त 2026 | — | 64-बिट ZIP |
| 4.32.2 | 28 जुलाई 2026 | — | 64-बिट ZIP |
| 4.32.1 | 22 जुलाई 2026 | — | 64-बिट ZIP |
| 4.32.0 | 13 जुलाई 2026 | — | 64-बिट ZIP |
कमांड लाइन से इंस्टॉल करें
साइलेंट इंस्टॉल ›winget install --id Lean.Lean -eप्रोग्राम फ़ाइलें (.exe): lean.exe, leanc.exe
संबंधित गाइड: winget कैसे इस्तेमाल करें: ऐप इंस्टॉल और अपडेट
जानकारी
- प्रकाशक
- Lean FRO
- श्रेणी
- IDE और कोड एडिटर
- लाइसेंस
- Apache-2.0
- कीमत
- मुफ़्त
- सोर्स कोड
- github.com/leanprover/lean4
- प्रोग्रामिंग भाषा
- Lean
- ज़रूरी सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इंस्टॉलर
- पोर्टेबल
- संस्करण
- 4.35.0
- रिलीज़
- 12 अक्टूबर 2026
- कैटलॉग में जोड़ा गया
- 6 मई 2025
- सूचीबद्ध संस्करण
- 24
- अपडेट / साल
- 16.6
- GitHub स्टार
- 9,626
- GitHub फ़ोर्क
- 1,059
- वेबसाइट
- lean-lang.org
- winget ID
- Lean.Lean
रेटिंग और रिव्यू
अभी कोई रिव्यू नहीं है। सबसे पहले रेटिंग दें।
Lean के विकल्प
सभी देखें ›-
ओपन सोर्स2.9 लाख ↓ -
ओपन सोर्स7.1 लाख ↓ -
ओपन सोर्स49.3 लाख ↓ -
ओपन सोर्स88.8 हज़ार ↓ -
ओपन सोर्स49.7 हज़ार ↓ -
ओपन सोर्स3.9 लाख ↓ -
ओपन सोर्स79.2 हज़ार ↓ -
ओपन सोर्स94.6 हज़ार ↓
अक्सर पूछे जाने वाले सवाल
क्या Lean मुफ़्त है?
हाँ। Lean ओपन सोर्स सॉफ़्टवेयर है (Apache-2.0 लाइसेंस)।
क्या Lean डाउनलोड करना सुरक्षित है?
फ़ाइल github.com से डाउनलोड होती है, जो प्रकाशक का अपना है; ExeAtlas फ़ाइल को न होस्ट करता है, न बदलता है। डाउनलोड की गई फ़ाइल का SHA256 हैश यहाँ दिखाए गए हैश से मिलाएँ, या उस हैश की VirusTotal रिपोर्ट खोलें।
winget से Lean कैसे इंस्टॉल करें?
PowerShell या Windows Terminal खोलें और इस पेज पर दिया गया winget कमांड चलाएँ। winget आधिकारिक इंस्टॉलर डाउनलोड करता है और चलाने से पहले उसका SHA256 हैश जाँचता है।
क्या Lean ARM (Windows on Arm) पर चलता है?
ARM64 बिल्ड नहीं है; Windows 11 on Arm पर 64-बिट वर्ज़न एमुलेशन के ज़रिए चल सकता है।
Lean का पुराना संस्करण कहाँ से डाउनलोड करें?
संस्करण पेज पर 1 मई 2025 से अब तक के सभी 24 संस्करण उनकी आधिकारिक इंस्टॉलर फ़ाइलों के लिंक के साथ दिए गए हैं।
क्या Lean को एडमिनिस्ट्रेटर अधिकारों के बिना इस्तेमाल किया जा सकता है?
हाँ, यह पोर्टेबल है: फ़ाइल अनपैक करें और चलाएँ।
Lean के विकल्प कौन-से हैं?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans और Haxe। विकल्प पेज पर इनकी तुलना दी गई है।
