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.
Leidėjo aprašymas (anglų)
Kas yra Elan?
Programa Elan yra atvirojo kodo programinė įranga, skirta Windows. Ją leidžia Lean FRO. Programavimo kalba: Rust.
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų. Programa veikia be diegimo (nešiojamoji versija).
Atnaujinimai ir versijų istorija
Naujausia versija – 4.2.4, išleista 2026 m. rugpjūčio 25 d. Versijų istorija siekia 2025 m. balandžio 30 d.: iš viso 7 laidos, visos su nuorodomis į oficialius failus. Laidų dažnis: maždaug 5,3 per metus.
Populiarumas ir failų tipai
Pirminis kodas „GitHub“ (leanprover/elan) turi 659 žvaigždutes.
Projekto aprašymas „GitHub“: “The Lean version manager”
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
Trūkumai
- Nėra natūralios ARM64 versijos
Trumpai: Elan – atvirojo kodo programa, skirta Windows, prieinama 64 bitų sistemoms. Ji reguliariai atnaujinama.
Ar saugu atsisiųsti programą Elan?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Naujausios versijos
Visos versijos (7) ›7 versijos per 1 metus · apie 5,3 per metus
| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 4.2.4Naujausia | 2026 m. rugpjūčio 25 d. | — | 64 bitų ZIP |
| 4.2.3 | 2026 m. birželio 8 d. | — | 64 bitų ZIP |
| 4.2.2 | 2026 m. gegužės 28 d. | — | 64 bitų ZIP |
| 4.2.1 | 2026 m. kovo 18 d. | — | 64 bitų ZIP |
| 4.2.0 | 2026 m. vasario 25 d. | — | 64 bitų ZIP |
| 4.1.2 | 2025 m. gegužės 26 d. | — | 64 bitų ZIP |
| 4.1.1 | 2025 m. balandžio 30 d. | — | 64 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id Lean.Elan -escoop install main/elanProgramų failai (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Susijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Informacija
- Leidėjas
- Lean FRO
- Licencija
- Apache-2.0
- Kaina
- Nemokama
- Pirminis kodas
- github.com/leanprover/elan
- Programavimo kalba
- Rust
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 4.2.4
- Išleista
- 2026 m. rugpjūčio 25 d.
- Įtraukta į katalogą
- 2025 m. gegužės 4 d.
- Versijų skaičius
- 7
- Atnaujinimų per metus
- 5,3
- Žvaigždutės „GitHub“
- 659
- Atšakos „GitHub“
- 60
- Svetainė
- github.com
- winget ID
- Lean.Elan
- „Scoop“ paketas
- main/elan
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Dažniausi klausimai
Ar programa Elan nemokama?
Taip. Elan – atvirojo kodo programa (licencija Apache-2.0), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą Elan?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Kaip įdiegti Elan su winget?
Atidarykite PowerShell arba Windows Terminal ir paleiskite šiame puslapyje pateiktą winget komandą. winget atsisiunčia oficialų diegimo failą ir prieš paleisdamas patikrina jo SHA256 maišos reikšmę.
Ar Elan veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Kur atsisiųsti senesnes programos Elan versijas?
Versijų puslapyje pateiktos nuorodos į visų versijų (7) oficialius diegimo failus, pradedant 2025 m. balandžio 30 d.
Ar programą Elan galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
