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 ဖြင့် ရေးသားထားပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
အပ်ဒိတ်များနှင့် ဗားရှင်းမှတ်တမ်း
နောက်ဆုံးဗားရှင်းမှာ 4.2.4 ဖြစ်ပါသည် (၂၀၂၆ ဩဂုတ် ၂၅ တွင် ထုတ်ဝေ)။ ဗားရှင်းမှတ်တမ်းတွင် ထုတ်ဝေမှု ၇ ခု ပါဝင်ပြီး အဟောင်းဆုံးမှာ ၂၀၂၅ ဧပြီ ၃၀ ဖြစ်ပါသည်။ အားလုံးကို တရားဝင်ဖိုင်များသို့ လင့်ခ်ချိတ်ထားပါသည်။ ဆိုလိုသည်မှာ တစ်နှစ်လျှင် ထုတ်ဝေမှု ၅.၃ ခုခန့် ဖြစ်ပါသည်။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
GitHub ပေါ်ရှိ source code (leanprover/elan) တွင် ကြယ် ၆၅၉ ပွင့် ရှိပါသည်။
GitHub ပေါ်ရှိ ပရောဂျက်ဖော်ပြချက်: “The Lean version manager”
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
အတိုချုပ်: Elan သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Windows ကိရိယာ ဖြစ်ပါသည်။ တက်ကြွစွာ ထိန်းသိမ်းနေဆဲ ဖြစ်ပါသည်။
Elan ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၇ ခုလုံး ›၁ နှစ်အတွင်း ဗားရှင်း ၇ ခု · တစ်နှစ်လျှင် ၅.၃ ခုခန့်
| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 4.2.4နောက်ဆုံး | ၂၀၂၆ ဩဂုတ် ၂၅ | — | 64-bit ZIP |
| 4.2.3 | ၂၀၂၆ ဇွန် ၈ | — | 64-bit ZIP |
| 4.2.2 | ၂၀၂၆ မေ ၂၈ | — | 64-bit ZIP |
| 4.2.1 | ၂၀၂၆ မတ် ၁၈ | — | 64-bit ZIP |
| 4.2.0 | ၂၀၂၆ ဖေဖော်ဝါရီ ၂၅ | — | 64-bit ZIP |
| 4.1.2 | ၂၀၂၅ မေ ၂၆ | — | 64-bit ZIP |
| 4.1.1 | ၂၀၂၅ ဧပြီ ၃၀ | — | 64-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›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
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com/leanprover/elan
- ရေးသားထားသည့် ဘာသာ
- Rust
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 4.2.4
- ထုတ်ဝေသည့်နေ့
- ၂၀၂၆ ဩဂုတ် ၂၅
- စာရင်းထဲ ထည့်သည့်နေ့
- ၂၀၂၅ မေ ၄
- စာရင်းရှိ ဗားရှင်းများ
- 7
- တစ်နှစ်လျှင် အပ်ဒိတ်
- ၅.၃
- GitHub ကြယ်
- ၆၅၉
- GitHub fork များ
- ၆၀
- ဝဘ်ဆိုက်
- github.com
- winget ID
- Lean.Elan
- Scoop package
- main/elan
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
မေးလေ့ရှိသောမေးခွန်းများ
Elan သည် အခမဲ့လား
ဟုတ်ပါသည်။ Elan သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (Apache-2.0 လိုင်စင်)။
Elan ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
Elan ကို winget ဖြင့် ဘယ်လို ထည့်သွင်းရမလဲ
PowerShell သို့မဟုတ် Windows Terminal ကို ဖွင့်ပြီး ဤစာမျက်နှာရှိ winget command ကို run ပါ။ winget သည် တရားဝင် installer ကို ဒေါင်းလုဒ်လုပ်ပြီး မ run မီ ၎င်း၏ SHA256 hash ကို စစ်ဆေးပါသည်။
Elan သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
Elan ဗားရှင်းဟောင်းကို ဘယ်မှာ ဒေါင်းလုဒ်လုပ်ရမလဲ
ဗားရှင်းများ စာမျက်နှာတွင် ဗားရှင်း ၇ ခုလုံးကို ၂၀၂၅ ဧပြီ ၃၀ အထိ တရားဝင် installer ဖိုင်လင့်ခ်များနှင့်အတူ စာရင်းပြုထားပါသည်။
Elan ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
