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 आहे, जी १२ ऑक्टोबर, २०२६ रोजी रिलीज झाली. आवृत्ती इतिहासात १ मे, २०२५ पासूनची २४ रिलीज आहेत आणि ती सर्व अधिकृत फाइल्सशी जोडलेली आहेत. म्हणजे दरवर्षी सुमारे १७ रिलीज. शेवटचे अपडेट एका महिन्यापेक्षा कमी जुने आहे.
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (leanprover/lean4) ९,६२६ स्टार मिळाले आहेत. याच प्रकारचे प्रोग्राम: OpenCode, RStudio आणि Node.js (LTS).
GitHub वरील प्रोजेक्टचे वर्णन: “Lean 4 programming language and theorem prover”
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- पोर्टेबल: इन्स्टॉल न करता चालते
- वारंवार अपडेट (वर्षाला सुमारे १७)
- मोठा युजर बेस
मर्यादा
- नेटिव्ह 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 रिपॉझिटरीची केलेली स्वयंचलित तपासणी, शेवटची १९ ऑक्टोबर, २०२६ रोजी.
- सक्रिय देखभाल१०
- धोकादायक वर्कफ्लो नाही१०
- लायसन्स जाहीर१०
- रिपॉझिटरीत बायनरी नाहीत१०
- पिन केलेल्या डिपेंडन्सी४
- कोड रिव्ह्यू१
- टोकन परवानग्या मर्यादित०
- OpenSSF Best Practices बॅज०
- सुरक्षा धोरण०
- फझिंग०
- स्वाक्षरी केलेली रिलीज०
- स्टॅटिक कोड विश्लेषण०
हा स्कोअर प्रोजेक्ट कसा बनवला आणि रिलीज केला जातो हे सांगतो, प्रोग्राम इन्स्टॉल करणे सुरक्षित आहे की नाही हे नाही. scorecard.dev
अलीकडील आवृत्त्या
सर्व २४ आवृत्त्या ›१ वर्षांत २४ आवृत्त्या · दरवर्षी सुमारे १७
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 4.35.0नवीनतम | १२ ऑक्टोबर, २०२६ | — | 64-बिट ZIP |
| 4.34.1 | २४ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 4.34.0 | १४ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 4.33.1 | २१ ऑगस्ट, २०२६ | — | 64-बिट ZIP |
| 4.33.0 | १० ऑगस्ट, २०२६ | — | 64-बिट ZIP |
| 4.32.2 | २८ जुलै, २०२६ | — | 64-बिट ZIP |
| 4.32.1 | २२ जुलै, २०२६ | — | 64-बिट ZIP |
| 4.32.0 | १३ जुलै, २०२६ | — | 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
- रिलीज
- १२ ऑक्टोबर, २०२६
- कॅटलॉगमध्ये जोडले
- ६ मे, २०२५
- नोंदवलेल्या आवृत्त्या
- 24
- अपडेट / वर्ष
- १६.६
- GitHub स्टार
- ९,६२६
- GitHub फोर्क
- १,०५९
- वेबसाइट
- lean-lang.org
- winget ID
- Lean.Lean
रेटिंग आणि रिव्ह्यू
अद्याप कोणताही रिव्ह्यू नाही. सर्वात आधी रेटिंग द्या.
Lean चे पर्याय
सर्व पाहा ›-
ओपन सोर्स२.९ लाख ↓ -
ओपन सोर्स७.१ लाख ↓ -
ओपन सोर्स४९.३ लाख ↓ -
ओपन सोर्स८८.८ ह ↓ -
ओपन सोर्स४९.७ ह ↓ -
ओपन सोर्स३.९ लाख ↓ -
ओपन सोर्स७९.२ ह ↓ -
ओपन सोर्स९४.६ ह ↓
वारंवार विचारले जाणारे प्रश्न
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 ची जुनी आवृत्ती कुठून डाउनलोड करायची?
आवृत्त्यांच्या पेजवर १ मे, २०२५ पासूनच्या सर्व २४ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.
Lean ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?
हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.
Lean चे पर्याय कोणते आहेत?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans आणि Haxe. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.
