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 Lean FRO کی جانب سے پیش کیا جانے والا اوپن سورس 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 IDE اور کوڈ ایڈیٹرز کے زمرے کا ایک اوپن سورس ٹول ہے جو 64 بٹ کمپیوٹرز کے لیے دستیاب ہے۔ اس کی دیکھ بھال باقاعدگی سے ہو رہی ہے۔
کیا 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 بیسٹ پریکٹسز بیج0
- سیکیورٹی پالیسی0
- فزنگ (Fuzzing)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 کا پرانا ورژن کہاں سے ڈاؤن لوڈ کریں؟
ورژنز کے صفحے پر تمام 24 ورژن (1 مئی، 2025 سے) ان کی سرکاری انسٹالر فائلوں کے لنکس کے ساتھ موجود ہیں۔
کیا Lean ایڈمنسٹریٹر کی اجازت کے بغیر استعمال ہو سکتا ہے؟
جی ہاں، یہ پورٹیبل ہے: ان زِپ کریں اور چلائیں۔
Lean کے متبادل کون سے ہیں؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans اور Haxe۔ متبادل کے صفحے پر ان کا موازنہ کیا گیا ہے۔
