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
Descrizione del produttore (inglese)
Cos’è Lean?
Pubblicato da Lean FRO, Lean è un software open source per Windows che rientra nella categoria IDE ed editor di codice. È scritto in Lean.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit di Windows. Funziona senza installazione (versione portable).
Aggiornamenti e cronologia delle versioni
La versione attuale è la 4.35.0 (rilascio: 12 ottobre 2026). La cronologia comprende 24 versioni (prima versione: 1 maggio 2025), tutte collegate ai file ufficiali. In media escono circa 17 versioni all’anno. L’ultimo aggiornamento risale a meno di un mese fa.
Popolarità e tipi di file
Il codice sorgente su GitHub (leanprover/lean4) ha 9626 stelle. Tra i programmi simili ci sono OpenCode, RStudio e Node.js (LTS).
Descrizione del progetto su GitHub: “Lean 4 programming language and theorem prover”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
- Aggiornamenti frequenti (circa 17 all’anno)
- Ampia base di utenti
Contro
- Nessuna versione ARM64 nativa
In breve: Lean è un programma open source per Windows della categoria IDE ed editor di codice, per PC 64 bit. Lo sviluppo è attivo.
Scaricare Lean è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Pratiche di sicurezza (OpenSSF Scorecard)
Controlli automatici eseguiti dalla Open Source Security Foundation sul repository leanprover/lean4 su GitHub; ultima esecuzione: 19 ottobre 2026.
- Manutenzione attiva10
- Nessun workflow pericoloso10
- Licenza dichiarata10
- Nessun binario nel repository10
- Dipendenze bloccate4
- Revisione del codice1
- Permessi dei token limitati0
- Badge OpenSSF Best Practices0
- Policy di sicurezza0
- Fuzzing0
- Release firmate0
- Analisi statica del codice0
Il punteggio misura come il progetto viene sviluppato e rilasciato, non se il programma sia sicuro da installare. scorecard.dev
Versioni recenti
Tutte le versioni (24) ›24 versioni in 1 anno · circa 17 all’anno
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 4.35.0Ultima | 12 ottobre 2026 | — | 64 bit ZIP |
| 4.34.1 | 24 settembre 2026 | — | 64 bit ZIP |
| 4.34.0 | 14 settembre 2026 | — | 64 bit ZIP |
| 4.33.1 | 21 agosto 2026 | — | 64 bit ZIP |
| 4.33.0 | 10 agosto 2026 | — | 64 bit ZIP |
| 4.32.2 | 28 luglio 2026 | — | 64 bit ZIP |
| 4.32.1 | 22 luglio 2026 | — | 64 bit ZIP |
| 4.32.0 | 13 luglio 2026 | — | 64 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›winget install --id Lean.Lean -eFile di programma (.exe): lean.exe, leanc.exe
Guida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Produttore
- Lean FRO
- Categoria
- IDE ed editor di codice
- Licenza
- Apache-2.0
- Prezzo
- Gratis
- Codice sorgente
- github.com/leanprover/lean4
- Linguaggio
- Lean
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- Portable
- Versione
- 4.35.0
- Data di rilascio
- 12 ottobre 2026
- Aggiunto al catalogo
- 6 maggio 2025
- Versioni elencate
- 24
- Aggiornamenti all’anno
- 16,6
- Stelle su GitHub
- 9626
- Fork su GitHub
- 1059
- Sito ufficiale
- lean-lang.org
- ID winget
- Lean.Lean
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a Lean
Vedi tutti ›-
Open source285,2K ↓ -
Open source705,1K ↓ -
Open source4,9 Mln ↓ -
Open source88,8K ↓ -
Open source49,7K ↓ -
Open source394,5K ↓ -
Open source79,2K ↓ -
Open source94,6K ↓
Domande frequenti
Lean è gratis?
Sì. Lean è un software open source con licenza Apache-2.0.
Scaricare Lean è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa Lean con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
Lean funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di Lean?
La pagina delle versioni elenca tutte le 24 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 1 maggio 2025.
Lean si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans e Haxe. La pagina delle alternative le mette a confronto.
