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-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 7 տարբերակները ›7 տարբերակ 1 տարում · տարեկան մոտ 5,3
| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 4.2.4Վերջինը | 25 օգոստոսի, 2026 թ. | — | 64-բիթ ZIP |
| 4.2.3 | 08 հունիսի, 2026 թ. | — | 64-բիթ ZIP |
| 4.2.2 | 28 մայիսի, 2026 թ. | — | 64-բիթ ZIP |
| 4.2.1 | 18 մարտի, 2026 թ. | — | 64-բիթ ZIP |
| 4.2.0 | 25 փետրվարի, 2026 թ. | — | 64-բիթ ZIP |
| 4.1.2 | 26 մայիսի, 2025 թ. | — | 64-բիթ ZIP |
| 4.1.1 | 30 ապրիլի, 2025 թ. | — | 64-բիթ 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
- Ճարտարապետություն
- 64-բիթ
- Տեղադրիչ
- Դյուրակիր
- Տարբերակ
- 4.2.4
- Թողարկման ամսաթիվ
- 25 օգոստոսի, 2026 թ.
- Ավելացվել է կատալոգ
- 04 մայիսի, 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 հաշվետվությունը։
Ինչպե՞ս տեղադրել Elan ծրագիրը winget-ով
Բացեք PowerShell-ը կամ Windows Terminal-ը և գործարկեք այս էջում նշված winget հրամանը։ winget-ը կներբեռնի պաշտոնական տեղադրիչը և գործարկելուց առաջ կստուգի դրա SHA256 հեշը։
Աշխատո՞ւմ է Elan ծրագիրը ARM-ի վրա (Windows on Arm)
ARM64 կառուցվածք չկա․ Windows 11 on Arm-ը կարող է էմուլյացիայի միջոցով գործարկել 64-բիթ տարբերակը։
Որտեղի՞ց ներբեռնել Elan ծրագրի հին տարբերակները
Տարբերակների էջում հավաքված են բոլոր 7 տարբերակների պաշտոնական տեղադրիչների հղումները (առաջինը՝ 30 ապրիլի, 2025 թ.)։
Կարելի՞ է Elan ծրագիրն օգտագործել առանց ադմինիստրատորի իրավունքների
Այո, այն դյուրակիր է․ բավական է բացել արխիվը և գործարկել ծրագիրը։
