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
Descripció del desenvolupador (anglès)
Què és Lean?
Publicat per Lean FRO, Lean és programari de codi obert per a Windows inclòs a la categoria IDE i editors de codi. Està escrit en Lean.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. Funciona sense instal·lació (versió portable).
Actualitzacions i historial de versions
La versió actual és la 4.35.0, publicada el 12 d’octubre del 2026. L’historial arriba fins a 1 de maig del 2025 i reuneix 24 versions, totes enllaçades als fitxers oficials. Això suposa unes 17 versions per any. La darrera actualització té menys d’un mes.
Popularitat i tipus de fitxer
El codi font a GitHub (leanprover/lean4) té 9.626 estrelles. Entre els programes semblants hi ha OpenCode, RStudio i Node.js (LTS).
Descripció del projecte a GitHub: “Lean 4 programming language and theorem prover”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
- Actualitzacions freqüents (unes 17 per any)
- Base d’usuaris àmplia
Inconvenients
- Sense versió nativa per a ARM64
En resum: Lean és un programa de codi obert de la categoria IDE i editors de codi, disponible per a ordinadors de 64 bits. Rep actualitzacions amb regularitat.
És segur baixar Lean?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Pràctiques de seguretat (OpenSSF Scorecard)
Comprovacions automàtiques que l’Open Source Security Foundation fa del repositori leanprover/lean4 a GitHub; darrera execució: 19 d’octubre del 2026.
- Manteniment actiu10
- Cap flux de treball perillós10
- Llicència declarada10
- Cap binari al repositori10
- Dependències fixades4
- Revisió del codi1
- Permisos dels tokens restringits0
- Insígnia OpenSSF Best Practices0
- Política de seguretat0
- Fuzzing0
- Versions signades0
- Anàlisi estàtica del codi0
La puntuació valora com es desenvolupa i es publica el projecte, no si el programa és segur d’instal·lar. scorecard.dev
Versions recents
Les 24 versions ›24 versions en 1 any · unes 17 per any
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 4.35.0Darrera | 12 d’octubre del 2026 | — | 64 bits ZIP |
| 4.34.1 | 24 de setembre del 2026 | — | 64 bits ZIP |
| 4.34.0 | 14 de setembre del 2026 | — | 64 bits ZIP |
| 4.33.1 | 21 d’agost del 2026 | — | 64 bits ZIP |
| 4.33.0 | 10 d’agost del 2026 | — | 64 bits ZIP |
| 4.32.2 | 28 de juliol del 2026 | — | 64 bits ZIP |
| 4.32.1 | 22 de juliol del 2026 | — | 64 bits ZIP |
| 4.32.0 | 13 de juliol del 2026 | — | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id Lean.Lean -eFitxers de programa (.exe): lean.exe, leanc.exe
Guia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Desenvolupador
- Lean FRO
- Categoria
- IDE i editors de codi
- Llicència
- Apache-2.0
- Preu
- Gratuït
- Codi font
- github.com/leanprover/lean4
- Llenguatge
- Lean
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 4.35.0
- Data de publicació
- 12 d’octubre del 2026
- Afegit al catàleg
- 6 de maig del 2025
- Versions registrades
- 24
- Actualitzacions per any
- 16,6
- Estrelles a GitHub
- 9.626
- Bifurcacions a GitHub
- 1.059
- Lloc web
- lean-lang.org
- ID de winget
- Lean.Lean
Valoracions i opinions
Encara no hi ha cap opinió.
Alternatives a Lean
Mostra-ho tot ›-
Codi obert285,2 k ↓ -
Codi obert705,1 k ↓ -
Codi obert4,9 M ↓ -
Codi obert88,8 k ↓ -
Codi obert49,7 k ↓ -
Codi obert394,5 k ↓ -
Codi obert79,2 k ↓ -
Codi obert94,6 k ↓
Preguntes freqüents
Lean és gratuït?
Sí. Lean és programari de codi obert amb llicència Apache-2.0.
És segur baixar Lean?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la Lean amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
Lean funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
On es poden baixar versions anteriors de Lean?
La pàgina de versions recull les 24 versions amb enllaços als instal·ladors oficials, des de 1 de maig del 2025.
Es pot fer servir Lean sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
Quines alternatives hi ha a Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. La pàgina d’alternatives els compara.
