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-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).
განახლებები და ვერსიების ისტორია
უახლესი ვერსია: 4.2.4, გამოშვების თარიღი: 25 აგვისტო, 2026. ვერსიების ისტორიაში 7 გამოშვებაა (პირველი: 30 აპრილი, 2025); ყველა ოფიციალურ ფაილებზე მიუთითებს. ეს დაახლოებით 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 | 8 ივნისი, 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
- დაემატა კატალოგს
- 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-ის ანგარიში ამ ჰეშისთვის.
როგორ დავაინსტალიროთ Elan winget-ით?
გახსენით PowerShell ან Windows Terminal და გაუშვით ამ გვერდზე ნაჩვენები winget ბრძანება. winget ჩამოტვირთავს ოფიციალურ საინსტალაციო ფაილს და გაშვებამდე ამოწმებს მის SHA256 ჰეშს.
მუშაობს თუ არა Elan ARM-ზე (Windows on Arm)?
ARM64 ვერსია არ არის; Windows 11 on Arm-ს შეუძლია ემულაციით გაუშვას ვერსია: 64-ბიტიანი.
Elan: სად ჩამოვტვირთოთ ძველი ვერსია?
ვერსიების გვერდზე ჩამოთვლილია ყველა 7 ვერსია (პირველი: 30 აპრილი, 2025), ოფიციალური საინსტალაციო ფაილების ბმულებით.
შეიძლება თუ არა Elan ადმინისტრატორის უფლებების გარეშე გამოვიყენოთ?
დიახ, ის პორტატულია: გახსენით არქივი და გაუშვით.
