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 لنظام Windows ضمن فئة بيئات التطوير ومحررات الشيفرة، وهو مفتوح المصدر، وناشره Lean FRO. لغة البرمجة المستخدمة في تطويره: Lean.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت. يعمل دون تثبيت (نسخة محمولة).
التحديثات وسجل الإصدارات
الإصدار الحالي هو 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 بت. يُحدَّث بانتظام.
هل تحميل Lean آمن؟
- يُقدَّم الملف من github.com، وهو نطاق يملكه الناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· افتح تقرير VirusTotal لهذه البصمة - لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
ممارسات الأمان (OpenSSF Scorecard)
فحوص آلية أجرتها مؤسسة Open Source Security Foundation على مستودع leanprover/lean4 في GitHub، وكان آخر تشغيل لها في 19 أكتوبر 2026.
- صيانة نشطة10
- لا مسارات عمل خطرة10
- ترخيص مُعلَن10
- لا ملفات ثنائية في المستودع10
- تبعيات مثبّتة الإصدار4
- مراجعة الشيفرة1
- صلاحيات رموز مقيّدة0
- شارة أفضل ممارسات OpenSSF0
- سياسة أمان0
- اختبار التشويش (Fuzzing)0
- إصدارات موقّعة0
- تحليل ثابت للشيفرة0
تقيس النتيجة طريقة تطوير المشروع وإصداره، لا مدى أمان تثبيت البرنامج. scorecard.dev
أحدث الإصدارات
جميع الإصدارات (24) ›24 إصدارًا خلال سنة واحدة · بمعدل 17 في السنة تقريبًا
التثبيت من سطر الأوامر
التثبيت الصامت ›winget install --id Lean.Lean -eملفات البرامج (.exe): lean.exe, leanc.exe
شرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
معلومات
- الناشر
- Lean FRO
- القسم
- بيئات التطوير ومحررات الشيفرة
- الترخيص
- 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
- Lean.Lean
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
بدائل Lean
عرض الكل ›-
مفتوح المصدر285.2 ألف ↓ -
مفتوح المصدر705.1 ألف ↓ -
مفتوح المصدر4.9 مليون ↓ -
مفتوح المصدر88.8 ألف ↓ -
مفتوح المصدر49.7 ألف ↓ -
مفتوح المصدر394.5 ألف ↓ -
مفتوح المصدر79.2 ألف ↓ -
مفتوح المصدر94.6 ألف ↓
الأسئلة الشائعة
هل برنامج Lean مجاني؟
نعم. برنامج Lean مفتوح المصدر ويخضع لترخيص Apache-2.0.
هل تحميل Lean آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
كيف أثبّت Lean باستخدام winget؟
افتح PowerShell أو Windows Terminal وشغّل أمر winget المعروض في هذه الصفحة. ينزّل winget ملف التثبيت الرسمي ويتحقق من بصمة SHA256 قبل تشغيله.
هل يعمل Lean على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
من أين أحمّل إصدارًا قديمًا من Lean؟
تعرض صفحة الإصدارات جميع الإصدارات المدرجة (24) مع روابط ملفات التثبيت الرسمية، رجوعًا حتى 1 مايو 2025.
هل يمكن استخدام Lean دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
ما بدائل Lean؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans وHaxe. تقارن صفحة البدائل بينها.
