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
Opis izdajatelja (angleščina)
Kaj je Lean?
Program Lean je odprtokodna programska oprema za Windows v kategoriji „Razvojna okolja in urejevalniki kode“. Izdaja ga Lean FRO. Programski jezik: Lean.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Program deluje brez namestitve (prenosna različica).
Posodobitve in zgodovina različic
Najnovejša različica je 4.35.0, izdana 12. oktober 2026. Zgodovina različic sega do 1. maj 2025: skupaj 24 izdaj, vse s povezavami do uradnih datotek. Pogostost izdaj: približno 17 na leto. Zadnja posodobitev je izšla pred manj kot mesecem dni.
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (leanprover/lean4) ima 9626 zvezdic. Podobni programi: OpenCode, RStudio in Node.js (LTS).
Opis projekta na GitHubu: “Lean 4 programming language and theorem prover”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
- Pogoste posodobitve (približno 17 na leto)
- Veliko uporabnikov
Slabosti
- Ni izvorne različice ARM64
Na kratko: Lean je odprtokoden program za Windows (kategorija „Razvojna okolja in urejevalniki kode“), na voljo za 64-bitno. Redno se posodablja.
Je prenos programa Lean varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Varnostne prakse (OpenSSF Scorecard)
Samodejni pregledi repozitorija leanprover/lean4 na GitHubu, ki jih izvaja Open Source Security Foundation; zadnji pregled: 19. oktober 2026.
- Dejavno vzdrževano10
- Brez nevarnih delovnih tokov10
- Navedena licenca10
- Brez binarnih datotek v repozitoriju10
- Pripete odvisnosti4
- Pregled kode1
- Omejena dovoljenja žetonov0
- Značka OpenSSF Best Practices0
- Varnostni pravilnik0
- Fuzzing0
- Podpisane izdaje0
- Statična analiza kode0
Ocena vrednoti, kako se projekt razvija in izdaja, ne pa tega, ali je namestitev programa varna. scorecard.dev
Najnovejše različice
Vse različice (24) ›24 različic v 1 letu · približno 17 na leto
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 4.35.0Najnovejša | 12. oktober 2026 | — | 64-bitno ZIP |
| 4.34.1 | 24. september 2026 | — | 64-bitno ZIP |
| 4.34.0 | 14. september 2026 | — | 64-bitno ZIP |
| 4.33.1 | 21. avgust 2026 | — | 64-bitno ZIP |
| 4.33.0 | 10. avgust 2026 | — | 64-bitno ZIP |
| 4.32.2 | 28. julij 2026 | — | 64-bitno ZIP |
| 4.32.1 | 22. julij 2026 | — | 64-bitno ZIP |
| 4.32.0 | 13. julij 2026 | — | 64-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id Lean.Lean -eProgramske datoteke (.exe): lean.exe, leanc.exe
Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Izdajatelj
- Lean FRO
- Kategorija
- Razvojna okolja in urejevalniki kode
- Licenca
- Apache-2.0
- Cena
- Brezplačno
- Izvorna koda
- github.com/leanprover/lean4
- Programski jezik
- Lean
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 4.35.0
- Izdano
- 12. oktober 2026
- Dodano v katalog
- 6. maj 2025
- Število različic
- 24
- Posodobitev na leto
- 16,6
- Zvezdice na GitHubu
- 9626
- Razcepi na GitHubu
- 1059
- Spletna stran
- lean-lang.org
- ID winget
- Lean.Lean
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Alternative za program Lean
Prikaži vse ›-
Odprta koda285,2 tis. ↓ -
Odprta koda705,1 tis. ↓ -
Odprta koda4,9 mio. ↓ -
Odprta koda88,8 tis. ↓ -
Odprta koda49,7 tis. ↓ -
Odprta koda394,5 tis. ↓ -
Odprta koda79,2 tis. ↓ -
Odprta koda94,6 tis. ↓
Pogosta vprašanja
Je program Lean brezplačen?
Da. Lean je odprtokoden program (licenca Apache-2.0), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa Lean varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti Lean z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali Lean deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Kje prenesti starejše različice programa Lean?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (24), od 1. maj 2025 naprej.
Ali je program Lean mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
Katere so alternative za program Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans in Haxe. Primerjava je na strani z alternativami.
