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.
Utgiverens beskrivelse (engelsk)
Hva er Elan?
Elan fra Lean FRO er programvare med åpen kildekode for Windows. Programmeringsspråk: Rust.
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Oppdateringer og versjonshistorikk
Nyeste versjon er 4.2.4, utgitt 25. august 2026. Versjonshistorikken går tilbake til 30. april 2025: 7 utgivelser, alle med lenker til de offisielle filene. Det tilsvarer omtrent 5,3 utgivelser i året.
Popularitet og filtyper
Kildekoden på GitHub (leanprover/elan) har 659 stjerner.
Prosjektbeskrivelse på GitHub: “The Lean version manager”
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
Ulemper
- Ingen egen ARM64-versjon
Kort sagt: Elan er et verktøy med åpen kildekode for Windows for PC-er med 64-bit. Det vedlikeholdes aktivt.
Er det trygt å laste ned Elan?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 7 versjoner ›7 versjoner på 1 år · omtrent 5,3 i året
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.2.4Nyeste | 25. august 2026 | — | 64-bit ZIP |
| 4.2.3 | 8. juni 2026 | — | 64-bit ZIP |
| 4.2.2 | 28. mai 2026 | — | 64-bit ZIP |
| 4.2.1 | 18. mars 2026 | — | 64-bit ZIP |
| 4.2.0 | 25. februar 2026 | — | 64-bit ZIP |
| 4.1.2 | 26. mai 2025 | — | 64-bit ZIP |
| 4.1.1 | 30. april 2025 | — | 64-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›winget install --id Lean.Elan -escoop install main/elanProgramfiler (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Utgiver
- Lean FRO
- Lisens
- Apache-2.0
- Pris
- Gratis
- Kildekode
- github.com/leanprover/elan
- Programmeringsspråk
- Rust
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 4.2.4
- Utgitt
- 25. august 2026
- Lagt til i katalogen
- 4. mai 2025
- Registrerte versjoner
- 7
- Oppdateringer per år
- 5,3
- GitHub-stjerner
- 659
- GitHub-forker
- 60
- Nettsted
- github.com
- winget-ID
- Lean.Elan
- Scoop-pakke
- main/elan
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Ofte stilte spørsmål
Er Elan gratis?
Ja. Elan er programvare med åpen kildekode under lisensen Apache-2.0.
Er det trygt å laste ned Elan?
Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Hvordan installerer jeg Elan med winget?
Åpne PowerShell eller Windows Terminal og kjør winget-kommandoen som vises på denne siden. winget laster ned den offisielle installasjonsfilen og kontrollerer SHA256-summen før den kjøres.
Kjører Elan på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Hvor kan jeg laste ned en eldre versjon av Elan?
Versjonssiden viser alle 7 versjonene tilbake til 30. april 2025, med lenker til de offisielle installasjonsfilene.
Kan jeg bruke Elan uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
