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-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
تازه کېدنې او د نسخو تاریخچه
اوسنۍ نسخه 4.2.4 ده چې په AP ۱۴۰۵ وږی ۳ خپره شوه. د نسخو تاریخچه ۷ خپرونې لري چې تر ټولو زړه یې AP ۱۴۰۴ غویی ۱۰ ته رسېږي؛ ټولې رسمي فایلونو ته لینک لري. یعنې په کال کې شاوخوا ۵٫۳ خپرونې.
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (leanprover/elan) ۶۵۹ ستوري لري.
په GitHub کې د پروژې تشریح: “The Lean version manager”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
لنډه دا چې: Elan د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه Windows وسیله ده. په فعاله توګه ساتل کېږي.
ایا د Elan ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۷ نسخې ›۷ نسخې په ۱ کال کې · په کال کې شاوخوا ۵٫۳
| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 4.2.4وروستۍ | AP ۱۴۰۵ وږی ۳ | — | 64-bit ZIP |
| 4.2.3 | AP ۱۴۰۵ غبرگولی ۱۸ | — | 64-bit ZIP |
| 4.2.2 | AP ۱۴۰۵ غبرگولی ۷ | — | 64-bit ZIP |
| 4.2.1 | AP ۱۴۰۴ کب ۲۷ | — | 64-bit ZIP |
| 4.2.0 | AP ۱۴۰۴ کب ۶ | — | 64-bit ZIP |
| 4.1.2 | AP ۱۴۰۴ غبرگولی ۵ | — | 64-bit ZIP |
| 4.1.1 | AP ۱۴۰۴ غویی ۱۰ | — | 64-bit 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
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 4.2.4
- د خپرېدو نېټه
- AP ۱۴۰۵ وږی ۳
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۴ غویی ۱۴
- لېست شوې نسخې
- 7
- په کال کې تازه کېدنې
- ۵٫۳
- د GitHub ستوري
- ۶۵۹
- د GitHub فورکونه
- ۶۰
- وېب پاڼه
- github.com
- winget ID
- 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 په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
د Elan زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۷ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۴ غویی ۱۰ پورې.
ایا Elan بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
