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 কী?
Lean FRO প্রকাশিত Elan একটি ওপেন সোর্স Windows সফটওয়্যার। এটি Rust দিয়ে লেখা।
ইনস্টলেশন ও সিস্টেমের প্রয়োজনীয়তা
প্রকাশক ৬৪-বিট Windows-এর জন্য পোর্টেবল ইনস্টলার দেন। এটি ইনস্টল না করেই চালানো যায় (পোর্টেবল)।
আপডেট ও সংস্করণের ইতিহাস
বর্তমান সংস্করণ 4.2.4, প্রকাশিত হয়েছে ২৫ আগস্ট, ২০২৬ তারিখে। সংস্করণের ইতিহাসে ৩০ এপ্রিল, ২০২৫ থেকে ৭টি রিলিজ আছে, সবগুলোই অফিশিয়াল ফাইলের সঙ্গে যুক্ত। অর্থাৎ বছরে গড়ে প্রায় ৫.৩ বার নতুন রিলিজ।
জনপ্রিয়তা ও ফাইল টাইপ
GitHub-এ এর সোর্স কোড (leanprover/elan) ৬৫৯টি স্টার পেয়েছে।
GitHub-এ প্রজেক্টের বিবরণ: “The Lean version manager”
সুবিধা / অসুবিধা
সুবিধা
- ওপেন সোর্স: যে কেউ কোড দেখতে ও বিল্ড করতে পারেন
- পোর্টেবল: ইনস্টল ছাড়াই চলে
অসুবিধা
- নেটিভ ARM64 বিল্ড নেই
সংক্ষেপে: Elan ৬৪-বিট PC-র জন্য একটি ওপেন সোর্স Windows টুল। এটি নিয়মিত আপডেট করা হয়।
Elan ডাউনলোড করা কি নিরাপদ?
- ফাইলটি আসে github.com থেকে, যা প্রকাশকের নিজস্ব ডোমেইন
- ডাউনলোড লিংক HTTPS ব্যবহার করে
- SHA256 হ্যাশ প্রকাশিত আছে, তাই ফাইলটি যাচাই করতে পারবেন:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· এই হ্যাশের VirusTotal রিপোর্ট খুলুন - লিংকটি এখনও যাচাই করা হয়নি
- সোর্স কোড উন্মুক্ত
- ExeAtlas কোনো ইনস্টলার হোস্ট করে না, মোড়কে ভরে না বা বদলায় না
সম্পর্কিত গাইড: Windows-এ ফাইলের SHA256 হ্যাশ চেক করার নিয়ম
সাম্প্রতিক সংস্করণ
সব ৭টি সংস্করণ ›১ বছরে ৭টি সংস্করণ · বছরে প্রায় ৫.৩ বার
| সংস্করণ | তারিখ | সাইজ | ফাইল |
|---|---|---|---|
| 4.2.4সর্বশেষ | ২৫ আগস্ট, ২০২৬ | — | ৬৪-বিট ZIP |
| 4.2.3 | ৮ জুন, ২০২৬ | — | ৬৪-বিট ZIP |
| 4.2.2 | ২৮ মে, ২০২৬ | — | ৬৪-বিট ZIP |
| 4.2.1 | ১৮ মার্চ, ২০২৬ | — | ৬৪-বিট ZIP |
| 4.2.0 | ২৫ ফেব্রুয়ারি, ২০২৬ | — | ৬৪-বিট ZIP |
| 4.1.2 | ২৬ মে, ২০২৫ | — | ৬৪-বিট ZIP |
| 4.1.1 | ৩০ এপ্রিল, ২০২৫ | — | ৬৪-বিট ZIP |
কমান্ড লাইন থেকে ইনস্টল
সাইলেন্ট ইনস্টল ›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
- আর্কিটেকচার
- ৬৪-বিট
- ইনস্টলার
- পোর্টেবল
- সংস্করণ
- 4.2.4
- প্রকাশের তারিখ
- ২৫ আগস্ট, ২০২৬
- ক্যাটালগে যোগ হয়েছে
- ৪ মে, ২০২৫
- তালিকাভুক্ত সংস্করণ
- 7
- আপডেট / বছর
- ৫.৩
- GitHub স্টার
- ৬৫৯
- GitHub ফর্ক
- ৬০
- ওয়েবসাইট
- 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-এ ৬৪-বিট সংস্করণটি ইমুলেশনের মাধ্যমে চলতে পারে।
Elan-এর পুরোনো সংস্করণ কোথা থেকে ডাউনলোড করবেন?
সংস্করণ পাতায় ৩০ এপ্রিল, ২০২৫ থেকে শুরু করে সব ৭টি সংস্করণ তাদের অফিশিয়াল ইনস্টলার ফাইলের লিংকসহ দেওয়া আছে।
অ্যাডমিনিস্ট্রেটর অনুমতি ছাড়া কি Elan ব্যবহার করা যায়?
হ্যাঁ, এটি পোর্টেবল: আনপ্যাক করে চালিয়ে দিন।
