Questa è una versione precedente. La versione attuale è la 4.35.0. Lean 4.35.0 · Data di rilascio:
File di installazione 4.32.2
| Architettura | Tipo | Ambito | Dimensione | Scarica | SHA256 |
|---|---|---|---|---|---|
| 64 bit | ZIP → Portable | — | — | github.com | VirusTotal |
Link e hash SHA256 provengono dal manifest della community di Gestione pacchetti Windows. Prima di eseguire il file scaricato conviene confrontarne l’hash.
Note di rilascio
This is the v4.32.2 release of Lean. View the release notes for more information.
