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)
Šta je Lean?
Program Lean je softver za Windows otvorenog koda u kategoriji „IDE i editori koda“. Objavljuje ga Lean FRO. Programski jezik: Lean.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit. Program radi bez instalacije (portabl verzija).
Ažuriranja i istorija verzija
Najnovija verzija je 4.35.0, objavljena 12. oktobar 2026. Istorija verzija seže do 1. maj 2025.: ukupno 24 izdanja, sva sa linkovima ka zvaničnim fajlovima. To je oko 17 izdanja godišnje. Poslednje ažuriranje objavljeno je pre manje od mesec dana.
Popularnost i tipovi fajlova
Izvorni kod na GitHubu (leanprover/lean4) ima 9.626 zvezdica. 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: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
- Česta ažuriranja (oko 17 godišnje)
- Velik broj korisnika
Nedostaci
- Nema izvorne ARM64 verzije
Ukratko: Lean je program za Windows otvorenog koda (kategorija „IDE i editori koda“), dostupan za 64-bit. Redovno se ažurira.
Da li je preuzimanje programa Lean bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Bezbednosne prakse (OpenSSF Scorecard)
Automatske provere koje Open Source Security Foundation sprovodi nad repozitorijumom leanprover/lean4 na GitHubu (poslednja provera: 19. oktobar 2026.).
- Aktivno održavanje10
- Bez opasnih tokova rada10
- Navedena licenca10
- Bez binarnih fajlova u repozitorijumu10
- Fiksirane zavisnosti4
- Pregled koda1
- Ograničene dozvole tokena0
- Značka OpenSSF Best Practices0
- Bezbednosna politika0
- Fazing testiranje0
- Potpisana izdanja0
- Statička analiza koda0
Ocena pokazuje kako se projekat razvija i objavljuje, a ne da li je program bezbedan za instalaciju. scorecard.dev
Najnovije verzije
Sve verzije (24) ›24 verzije za 1 godinu · oko 17 godišnje
| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 4.35.0Najnovija | 12. oktobar 2026. | — | 64-bit ZIP |
| 4.34.1 | 24. septembar 2026. | — | 64-bit ZIP |
| 4.34.0 | 14. septembar 2026. | — | 64-bit ZIP |
| 4.33.1 | 21. avgust 2026. | — | 64-bit ZIP |
| 4.33.0 | 10. avgust 2026. | — | 64-bit ZIP |
| 4.32.2 | 28. jul 2026. | — | 64-bit ZIP |
| 4.32.1 | 22. jul 2026. | — | 64-bit ZIP |
| 4.32.0 | 13. jul 2026. | — | 64-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id Lean.Lean -eProgramski fajlovi (.exe): lean.exe, leanc.exe
Povezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- Lean FRO
- Kategorija
- IDE i editori koda
- Licenca
- Apache-2.0
- Cena
- Besplatno
- Izvorni kod
- github.com/leanprover/lean4
- Programski jezik
- Lean
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 4.35.0
- Objavljeno
- 12. oktobar 2026.
- Dodato u katalog
- 6. maj 2025.
- Broj verzija
- 24
- Ažuriranja godišnje
- 16,6
- Zvezdice na GitHubu
- 9.626
- Forkovi na GitHubu
- 1.059
- Veb-sajt
- lean-lang.org
- winget ID
- Lean.Lean
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Alternative za program Lean
Prikaži sve ›-
Otvoreni kod285,2 hilj. ↓ -
Otvoreni kod705,1 hilj. ↓ -
Otvoreni kod4,9 mil. ↓ -
Otvoreni kod88,8 hilj. ↓ -
Otvoreni kod49,7 hilj. ↓ -
Otvoreni kod394,5 hilj. ↓ -
Otvoreni kod79,2 hilj. ↓ -
Otvoreni kod94,6 hilj. ↓
Česta pitanja
Da li je program Lean besplatan?
Da. Lean je program otvorenog koda (licenca Apache-2.0) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa Lean bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Kako instalirati Lean preko wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite winget komandu sa ove stranice. winget preuzima zvanični instalacioni fajl i pre pokretanja proverava njegov SHA256 heš.
Da li Lean radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Gde preuzeti starije verzije programa Lean?
Na stranici sa verzijama nalaze se linkovi ka zvaničnim instalacionim fajlovima svih verzija (24), počev od 1. maj 2025.
Može li se program Lean koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
Koje su alternative za program Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Poređenje se nalazi na stranici sa alternativama.
