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؟
برنامج Elan مخصص لنظام Windows، وهو مفتوح المصدر، وناشره Lean FRO. لغة البرمجة المستخدمة في تطويره: Rust.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows 64 بت. يعمل دون تثبيت (نسخة محمولة).
التحديثات وسجل الإصدارات
الإصدار الحالي هو 4.2.4، وقد صدر في 25 أغسطس 2026. يمتد سجل الإصدارات حتى 30 أبريل 2025، وعدد الإصدارات المدرجة 7، وجميعها مرتبطة بالملفات الرسمية. أي بمعدل 5.3 في السنة تقريبًا.
الشعبية وأنواع الملفات
عدد نجوم مستودعه على GitHub (leanprover/elan): 659.
وصف المشروع على GitHub: “The Lean version manager”
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- نسخة محمولة تعمل دون تثبيت
السلبيات
- لا يوجد إصدار ARM64 أصلي
باختصار: Elan برنامج مفتوح المصدر لنظام Windows يعمل على أجهزة 64 بت. يُحدَّث بانتظام.
هل تحميل Elan آمن؟
- يُقدَّم الملف من github.com، وهو نطاق يملكه الناشر
- رابط التحميل يستخدم HTTPS
- بصمة SHA256 منشورة، فيمكنك التحقق من الملف:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· افتح تقرير VirusTotal لهذه البصمة - لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (7) ›7 إصدارات خلال سنة واحدة · بمعدل 5.3 في السنة تقريبًا
التثبيت من سطر الأوامر
التثبيت الصامت ›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
- Lean.Elan
- حزمة Scoop
- main/elan
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
الأسئلة الشائعة
هل برنامج Elan مجاني؟
نعم. برنامج Elan مفتوح المصدر ويخضع لترخيص Apache-2.0.
هل تحميل Elan آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
كيف أثبّت Elan باستخدام winget؟
افتح PowerShell أو Windows Terminal وشغّل أمر winget المعروض في هذه الصفحة. ينزّل winget ملف التثبيت الرسمي ويتحقق من بصمة SHA256 قبل تشغيله.
هل يعمل Elan على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
من أين أحمّل إصدارًا قديمًا من Elan؟
تعرض صفحة الإصدارات جميع الإصدارات المدرجة (7) مع روابط ملفات التثبيت الرسمية، رجوعًا حتى 30 أبريل 2025.
هل يمكن استخدام Elan دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
