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.
Julkaisijan kuvaus (englanti)
Mikä on Elan?
Elan on avoimen lähdekoodin ohjelmisto Windowsille. Julkaisija: Lean FRO. Ohjelmointikieli: Rust.
Asennus ja järjestelmävaatimukset
Julkaisija tarjoaa asennusohjelmat seuraaville: 64-bittinen; tiedostomuodot: Portable. Ohjelma toimii ilman asennusta (portable).
Päivitykset ja versiohistoria
Uusin versio on 4.2.4, julkaistu 25. elokuuta 2026. Versiohistoriassa on 7 julkaisua, vanhin 30. huhtikuuta 2025; kaikki linkittävät virallisiin tiedostoihin. Se tarkoittaa noin 5,3 julkaisua vuodessa.
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (leanprover/elan) on 659 tähteä.
Projektin kuvaus GitHubissa: “The Lean version manager”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Portable: toimii ilman asennusta
Miinukset
- Ei natiivia ARM64-versiota
Lyhyesti: Elan on avoimen lähdekoodin Windows-työkalu (64-bittinen). Sitä ylläpidetään aktiivisesti.
Onko Elan-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (7) ›7 versiota 1 vuoden aikana · noin 5,3 vuodessa
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 4.2.4Uusin | 25. elokuuta 2026 | — | 64-bittinen ZIP |
| 4.2.3 | 8. kesäkuuta 2026 | — | 64-bittinen ZIP |
| 4.2.2 | 28. toukokuuta 2026 | — | 64-bittinen ZIP |
| 4.2.1 | 18. maaliskuuta 2026 | — | 64-bittinen ZIP |
| 4.2.0 | 25. helmikuuta 2026 | — | 64-bittinen ZIP |
| 4.1.2 | 26. toukokuuta 2025 | — | 64-bittinen ZIP |
| 4.1.1 | 30. huhtikuuta 2025 | — | 64-bittinen ZIP |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id Lean.Elan -escoop install main/elanOhjelmatiedostot (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Aiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Julkaisija
- Lean FRO
- Lisenssi
- Apache-2.0
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/leanprover/elan
- Ohjelmointikieli
- Rust
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- Portable
- Versio
- 4.2.4
- Julkaistu
- 25. elokuuta 2026
- Lisätty luetteloon
- 4. toukokuuta 2025
- Versioita luettelossa
- 7
- Päivityksiä vuodessa
- 5,3
- GitHub-tähdet
- 659
- GitHub-haarat
- 60
- Verkkosivusto
- github.com
- winget-tunnus
- Lean.Elan
- Scoop-paketti
- main/elan
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Usein kysytyt kysymykset
Onko Elan ilmainen?
Kyllä. Elan on avoimen lähdekoodin ohjelmisto, lisenssi Apache-2.0.
Onko Elan-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten Elan asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Toimiiko Elan ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Mistä voi ladata Elan-ohjelman vanhemman version?
Versiosivulla ovat kaikki 7 versiota 30. huhtikuuta 2025 alkaen linkkeineen virallisiin asennustiedostoihin.
Voiko Elan-ohjelmaa käyttää ilman järjestelmänvalvojan oikeuksia?
Kyllä, ohjelma on portable: pura ja käynnistä.
