Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Utgiverens beskrivelse (engelsk)
Hva er Lean?
Lean fra Lean FRO er programvare med åpen kildekode for Windows (kategori: IDE-er og koderedigering). Programmeringsspråk: Lean.
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Oppdateringer og versjonshistorikk
Nyeste versjon er 4.35.0, utgitt 12. oktober 2026. Versjonshistorikken går tilbake til 1. mai 2025: 24 utgivelser, alle med lenker til de offisielle filene. Det tilsvarer omtrent 17 utgivelser i året. Den siste oppdateringen er mindre enn en måned gammel.
Popularitet og filtyper
Kildekoden på GitHub (leanprover/lean4) har 9 626 stjerner. Lignende programmer er blant annet OpenCode, RStudio og Node.js (LTS).
Prosjektbeskrivelse på GitHub: “Lean 4 programming language and theorem prover”
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
- Hyppige oppdateringer (omtrent 17 i året)
- Mange brukere
Ulemper
- Ingen egen ARM64-versjon
Kort sagt: Lean er et verktøy med åpen kildekode i kategorien IDE-er og koderedigering for PC-er med 64-bit. Det vedlikeholdes aktivt.
Er det trygt å laste ned Lean?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Å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
Sikkerhetspraksis (OpenSSF Scorecard)
Automatiske kontroller av repositoriet leanprover/lean4 på GitHub, utført av Open Source Security Foundation. Sist kjørt 19. oktober 2026.
- Aktivt vedlikeholdt10
- Ingen farlige arbeidsflyter10
- Lisens oppgitt10
- Ingen binærfiler i repositoriet10
- Låste avhengigheter4
- Kodegjennomgang1
- Begrensede token-tillatelser0
- OpenSSF Best Practices-merke0
- Sikkerhetspolicy0
- Fuzzing0
- Signerte utgivelser0
- Statisk kodeanalyse0
Poengsummen vurderer hvordan prosjektet utvikles og publiseres, ikke om programmet er trygt å installere. scorecard.dev
Nyeste versjoner
Alle 24 versjoner ›24 versjoner på 1 år · omtrent 17 i året
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.35.0Nyeste | 12. oktober 2026 | — | 64-bit ZIP |
| 4.34.1 | 24. september 2026 | — | 64-bit ZIP |
| 4.34.0 | 14. september 2026 | — | 64-bit ZIP |
| 4.33.1 | 21. august 2026 | — | 64-bit ZIP |
| 4.33.0 | 10. august 2026 | — | 64-bit ZIP |
| 4.32.2 | 28. juli 2026 | — | 64-bit ZIP |
| 4.32.1 | 22. juli 2026 | — | 64-bit ZIP |
| 4.32.0 | 13. juli 2026 | — | 64-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›winget install --id Lean.Lean -eProgramfiler (.exe): lean.exe, leanc.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Utgiver
- Lean FRO
- Kategori
- IDE-er og koderedigering
- Lisens
- Apache-2.0
- Pris
- Gratis
- Kildekode
- github.com/leanprover/lean4
- Programmeringsspråk
- Lean
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 4.35.0
- Utgitt
- 12. oktober 2026
- Lagt til i katalogen
- 6. mai 2025
- Registrerte versjoner
- 24
- Oppdateringer per år
- 16,6
- GitHub-stjerner
- 9 626
- GitHub-forker
- 1 059
- Nettsted
- lean-lang.org
- winget-ID
- Lean.Lean
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til Lean
Se alle ›-
Åpen kildekode285,2k ↓ -
Åpen kildekode705,1k ↓ -
Åpen kildekode4,9 mill. ↓ -
Åpen kildekode88,8k ↓ -
Åpen kildekode49,7k ↓ -
Åpen kildekode394,5k ↓ -
Åpen kildekode79,2k ↓ -
Åpen kildekode94,6k ↓
Ofte stilte spørsmål
Er Lean gratis?
Ja. Lean er programvare med åpen kildekode under lisensen Apache-2.0.
Er det trygt å laste ned Lean?
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 Lean 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 Lean 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 Lean?
Versjonssiden viser alle 24 versjonene tilbake til 1. mai 2025, med lenker til de offisielle installasjonsfilene.
Kan jeg bruke Lean uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
Hvilke alternativer finnes til Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Siden med alternativer sammenligner dem.
