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 izdavača (engleski)
Što je Lean?
Program Lean je softver otvorenog koda za Windows u kategoriji „IDE i uređivači koda”. Izdaje ga Lean FRO. Programski jezik: Lean.
Instalacija i zahtjevi sustava
Izdavač nudi instalacijske datoteke vrste Prijenosna verzija za sustave 64-bitno. Program radi bez instalacije (prijenosna verzija).
Ažuriranja i povijest verzija
Najnovija verzija je 4.35.0, objavljena 12. listopada 2026. Povijest inačica seže do 1. svibnja 2025.: ukupno 24 izdanja, sva s poveznicama na službene datoteke. Učestalost izdanja: oko 17 godišnje. Zadnje ažuriranje objavljeno je prije manje od mjesec dana.
Popularnost i vrste datoteka
Izvorni kod na GitHubu (leanprover/lean4) ima 9.626 zvjezdica. Slični programi: OpenCode, RStudio i Node.js (LTS).
Opis projekta na GitHubu: “Lean 4 programming language and theorem prover”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svatko ga može pregledati i sam prevesti
- Prijenosna verzija: radi bez instalacije
- Česta ažuriranja (oko 17 godišnje)
- Velik broj korisnika
Nedostaci
- Nema izvorne verzije ARM64
Ukratko: Lean je program otvorenog koda za Windows (kategorija „IDE i uređivači koda”), dostupan za 64-bitno. Redovito se ažurira.
Je li preuzimanje programa Lean sigurno?
- Datoteka se preuzima s domene izdavača (github.com)
- Poveznica za preuzimanje koristi HTTPS
- Objavljen je hash SHA256, pa se datoteka može provjeriti:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Otvori izvješće VirusTotala za ovaj hash - Poveznica još nije provjerena
- Izvorni kod je javan
- ExeAtlas ne pohranjuje, ne omata i ne mijenja instalacijske datoteke
Povezani vodič: Kako provjeriti SHA256 hash datoteke u Windowsu
Sigurnosne prakse (OpenSSF Scorecard)
Automatske provjere repozitorija leanprover/lean4 na GitHubu koje provodi Open Source Security Foundation; zadnja provjera: 19. listopada 2026..
- Aktivno održavanje10
- Bez opasnih tijekova rada10
- Navedena licenca10
- Bez binarnih datoteka u repozitoriju10
- Fiksirane ovisnosti4
- Pregled koda1
- Ograničena dopuštenja tokena0
- Značka OpenSSF Best Practices0
- Sigurnosna politika0
- Fuzzing0
- Potpisana izdanja0
- Statička analiza koda0
Ocjena vrednuje način na koji se projekt razvija i objavljuje, a ne je li instalacija programa sigurna. scorecard.dev
Najnovije verzije
Sve verzije (24) ›24 verzije za 1 godinu · oko 17 godišnje
| Verzija | Datum | Veličina | Datoteke |
|---|---|---|---|
| 4.35.0Najnovija | 12. listopada 2026. | — | 64-bitno ZIP |
| 4.34.1 | 24. rujna 2026. | — | 64-bitno ZIP |
| 4.34.0 | 14. rujna 2026. | — | 64-bitno ZIP |
| 4.33.1 | 21. kolovoza 2026. | — | 64-bitno ZIP |
| 4.33.0 | 10. kolovoza 2026. | — | 64-bitno ZIP |
| 4.32.2 | 28. srpnja 2026. | — | 64-bitno ZIP |
| 4.32.1 | 22. srpnja 2026. | — | 64-bitno ZIP |
| 4.32.0 | 13. srpnja 2026. | — | 64-bitno ZIP |
Instalacija iz naredbenog retka
Tiha instalacija ›winget install --id Lean.Lean -eProgramske datoteke (.exe): lean.exe, leanc.exe
Povezani vodič: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- Lean FRO
- Kategorija
- IDE i uređivači koda
- Licenca
- Apache-2.0
- Cijena
- Besplatno
- Izvorni kod
- github.com/leanprover/lean4
- Programski jezik
- Lean
- Zahtjevi
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Instalacijska datoteka
- Prijenosna verzija
- Verzija
- 4.35.0
- Objavljeno
- 12. listopada 2026.
- Dodano u katalog
- 6. svibnja 2025.
- Broj verzija
- 24
- Ažuriranja godišnje
- 16,6
- Zvjezdice na GitHubu
- 9.626
- Forkovi na GitHubu
- 1.059
- Web-stranica
- lean-lang.org
- ID za winget
- Lean.Lean
Ocjene i recenzije
Još nema recenzija. Program možete ocijeniti prvi.
Alternative za program Lean
Prikaži sve ›-
Otvoreni kod285,2 tis. ↓ -
Otvoreni kod705,1 tis. ↓ -
Otvoreni kod4,9 mil. ↓ -
Otvoreni kod88,8 tis. ↓ -
Otvoreni kod49,7 tis. ↓ -
Otvoreni kod394,5 tis. ↓ -
Otvoreni kod79,2 tis. ↓ -
Otvoreni kod94,6 tis. ↓
Česta pitanja
Je li program Lean besplatan?
Da. Lean je program otvorenog koda (licenca Apache-2.0) koji se može besplatno preuzeti i koristiti.
Je li preuzimanje programa Lean sigurno?
Datoteka se preuzima s domene github.com, koja pripada izdavaču; ExeAtlas datoteku ne pohranjuje i ne mijenja. Hash SHA256 preuzete datoteke usporedite s onim na ovoj stranici ili otvorite izvješće VirusTotala za taj hash.
Kako instalirati Lean pomoću wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite naredbu winget s ove stranice. winget preuzima službenu instalacijsku datoteku i prije pokretanja provjerava njezin hash SHA256.
Radi li Lean na procesorima ARM (Windows on Arm)?
Verzija ARM64 ne postoji; Windows 11 on Arm može verziju 64-bitno pokrenuti emulacijom.
Gdje preuzeti starije verzije programa Lean?
Na stranici s verzijama nalaze se poveznice na službene instalacijske datoteke svih verzija (24), od 1. svibnja 2025. nadalje.
Može li se program Lean koristiti bez administratorskih prava?
Da, riječ je o prijenosnoj verziji: dovoljno je raspakirati arhivu i pokrenuti program.
Koje su alternative za program Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Usporedba je na stranici s alternativama.
