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 Lean FRO کی جانب سے پیش کیا جانے والا اوپن سورس Windows سافٹ ویئر ہے۔ یہ Rust میں لکھا گیا ہے۔
انسٹالیشن اور سسٹم کی ضروریات
پبلشر 64 بٹ Windows کے لیے پورٹیبل انسٹالر فراہم کرتا ہے۔ یہ انسٹال کیے بغیر چلتا ہے (پورٹیبل)۔
اپ ڈیٹس اور ورژن کی تاریخ
موجودہ ورژن 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 انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 7 ورژن ›1 سال میں 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 ID
- Lean.Elan
- Scoop پیکیج
- main/elan
ریٹنگز اور تبصرے
ابھی کوئی تبصرہ نہیں۔ سب سے پہلے آپ ریٹ کریں۔
اکثر پوچھے جانے والے سوالات
کیا Elan مفت ہے؟
جی ہاں۔ Elan اوپن سورس سافٹ ویئر ہے (Apache-2.0 لائسنس)۔
کیا Elan ڈاؤن لوڈ کرنا محفوظ ہے؟
فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے؛ ExeAtlas نہ فائل ہوسٹ کرتا ہے نہ اس میں کوئی تبدیلی کرتا ہے۔ اس کا SHA256 ہیش یہاں دکھائے گئے ہیش سے ملائیں، یا اس ہیش کی VirusTotal رپورٹ کھولیں۔
winget سے Elan کیسے انسٹال کریں؟
PowerShell یا Windows Terminal کھولیں اور اس صفحے پر دی گئی winget کمانڈ چلائیں۔ winget سرکاری انسٹالر ڈاؤن لوڈ کرتا ہے اور چلانے سے پہلے اس کا SHA256 ہیش جانچتا ہے۔
کیا Elan ARM (Windows on Arm) پر چلتا ہے؟
ARM64 ورژن موجود نہیں؛ Windows 11 on Arm ایمولیشن کے ذریعے 64 بٹ ورژن چلا سکتا ہے۔
Elan کا پرانا ورژن کہاں سے ڈاؤن لوڈ کریں؟
ورژنز کے صفحے پر تمام 7 ورژن (30 اپریل، 2025 سے) ان کی سرکاری انسٹالر فائلوں کے لنکس کے ساتھ موجود ہیں۔
کیا Elan ایڈمنسٹریٹر کی اجازت کے بغیر استعمال ہو سکتا ہے؟
جی ہاں، یہ پورٹیبل ہے: ان زِپ کریں اور چلائیں۔
