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
Descrierea dezvoltatorului (engleză)
Ce este Lean?
Publicat de Lean FRO, Lean este un software open source pentru Windows, încadrat în categoria IDE-uri și editoare de cod. Este scris în Lean.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Funcționează fără instalare (versiune portabilă).
Actualizări și istoricul versiunilor
Versiunea actuală este 4.35.0, lansată pe 12 octombrie 2026. Istoricul merge înapoi până la 1 mai 2025 și cuprinde 24 de versiuni, toate cu linkuri către fișierele oficiale. Asta înseamnă aproximativ 17 versiuni pe an. Ultima actualizare are mai puțin de o lună.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (leanprover/lean4) are 9.626 de stele. Printre programele similare se numără OpenCode, RStudio și Node.js (LTS).
Descrierea proiectului pe GitHub: “Lean 4 programming language and theorem prover”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
- Actualizări frecvente (aproximativ 17 pe an)
- Bază largă de utilizatori
Dezavantaje
- Fără versiune nativă ARM64
Pe scurt: Lean este un program open source din categoria IDE-uri și editoare de cod, disponibil pentru calculatoare cu 64 de biți. Este întreținut activ.
Este sigur să descărcați Lean?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Practici de securitate (OpenSSF Scorecard)
Verificări automate ale depozitului leanprover/lean4 de pe GitHub, efectuate de Open Source Security Foundation; ultima rulare: 19 octombrie 2026.
- Întreținut activ10
- Fără fluxuri de lucru periculoase10
- Licență declarată10
- Fără binare în depozit10
- Dependențe fixate4
- Revizuirea codului1
- Permisiuni restrânse pentru tokenuri0
- Insigna OpenSSF Best Practices0
- Politică de securitate0
- Fuzzing0
- Versiuni semnate0
- Analiză statică a codului0
Scorul evaluează modul în care proiectul este dezvoltat și publicat, nu dacă programul este sigur de instalat. scorecard.dev
Versiuni recente
Toate cele 24 de versiuni ›24 de versiuni în 1 an · aproximativ 17 pe an
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 4.35.0Cea mai nouă | 12 octombrie 2026 | — | 64 de biți ZIP |
| 4.34.1 | 24 septembrie 2026 | — | 64 de biți ZIP |
| 4.34.0 | 14 septembrie 2026 | — | 64 de biți ZIP |
| 4.33.1 | 21 august 2026 | — | 64 de biți ZIP |
| 4.33.0 | 10 august 2026 | — | 64 de biți ZIP |
| 4.32.2 | 28 iulie 2026 | — | 64 de biți ZIP |
| 4.32.1 | 22 iulie 2026 | — | 64 de biți ZIP |
| 4.32.0 | 13 iulie 2026 | — | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id Lean.Lean -eFișiere de program (.exe): lean.exe, leanc.exe
Ghid asociat: Cum se folosește winget: instalare și actualizare
Informații
- Dezvoltator
- Lean FRO
- Categorie
- IDE-uri și editoare de cod
- Licență
- Apache-2.0
- Preț
- Gratuit
- Cod sursă
- github.com/leanprover/lean4
- Limbaj de programare
- Lean
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 4.35.0
- Data lansării
- 12 octombrie 2026
- Adăugat în catalog
- 6 mai 2025
- Versiuni listate
- 24
- Actualizări pe an
- 16,6
- Stele pe GitHub
- 9.626
- Fork-uri pe GitHub
- 1.059
- Site web
- lean-lang.org
- ID winget
- Lean.Lean
Evaluări și recenzii
Nicio recenzie încă.
Alternative la Lean
Vezi tot ›-
Open source285,2 K ↓ -
Open source705,1 K ↓ -
Open source4,9 mil. ↓ -
Open source88,8 K ↓ -
Open source49,7 K ↓ -
Open source394,5 K ↓ -
Open source79,2 K ↓ -
Open source94,6 K ↓
Întrebări frecvente
Este Lean gratuit?
Da. Lean este un software open source cu licența Apache-2.0.
Este sigur să descărcați Lean?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează Lean cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Funcționează Lean pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului Lean?
Pagina de versiuni listează toate cele 24 de versiuni, cu linkuri către instalatoarele oficiale, începând din 1 mai 2025.
Se poate folosi Lean fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
Ce alternative există la Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans și Haxe. Pagina de alternative le compară.
