I più scaricati: Dati aggiornati al 26 ottobre 2026

Categorie

Internet1355
Comunicazione321
Audio e video898
Grafica e design539
Ufficio e produttività1120
Strumenti di sviluppo3132
Strumenti di IA527
Sicurezza e privacy385
Strumenti di sistema3113
Giochi523
Istruzione e scienza239
Rete e IT284

Lean: versioni precedenti da scaricare

Programming Language and Theorem Prover

Qui sono elencate 24 versioni di Lean, dalla prima (1 maggio 2025) fino all’attuale 4.35.0. Ognuna rimanda ai file di installazione del produttore.

2025: 10 10 25 2026: 14 14 26

24 versioni in 1 anno · circa 17 all’anno

VersioneDataDimensioneFile
4.35.0Ultima versione 12 ottobre 2026 — 64 bit ZIP
Note di rilascio
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 settembre 2026 — 64 bit ZIP
Note di rilascio
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 settembre 2026 — 64 bit ZIP
Note di rilascio
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 agosto 2026 — 64 bit ZIP
Note di rilascio
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 agosto 2026 — 64 bit ZIP
Note di rilascio
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 luglio 2026 — 64 bit ZIP
Note di rilascio
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 luglio 2026 — 64 bit ZIP
Note di rilascio
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 luglio 2026 — 64 bit ZIP
Note di rilascio
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 giugno 2026 — 64 bit ZIP
Note di rilascio
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 maggio 2026 — 64 bit ZIP
Note di rilascio
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 aprile 2026 — 64 bit ZIP
4.29.0 27 marzo 2026 — 64 bit ZIP
4.28.0 16 febbraio 2026 — 64 bit ZIP
4.27.0 23 gennaio 2026 — 64 bit ZIP
4.26.0 13 dicembre 2025 — 64 bit ZIP
4.25.2 24 novembre 2025 — 64 bit ZIP
4.25.0 14 novembre 2025 — 64 bit ZIP
4.24.0 14 ottobre 2025 — 64 bit ZIP
4.23.0 14 settembre 2025 — 64 bit ZIP
4.22.0 14 agosto 2025 — 64 bit ZIP
4.21.0 30 giugno 2025 — 64 bit ZIP
4.20.1 4 giugno 2025 — 64 bit ZIP
4.20.0 2 giugno 2025 — 64 bit ZIP
4.19.0 1 maggio 2025 — 64 bit ZIP

Il più popolare in IDE ed editor di codice

Vedi tutti
  1. OpenCodeIDE ed editor di codice · OpenCode
  2. RStudioIDE ed editor di codice · Posit Software
  3. Node.js (LTS)IDE ed editor di codice · Node.js Foundation
  4. Apache NetBeansIDE ed editor di codice · Apache NetBeans
  5. VSCodiumIDE ed editor di codice · VSCodium
  6. HaxeIDE ed editor di codice · Haxe Foundation
  7. ThonnyIDE ed editor di codice · Aivar Annamaa
  8. GDevelopIDE ed editor di codice · GDevelop Team
  9. mkcertIDE ed editor di codice · FiloSottile
  10. ProcessingIDE ed editor di codice · Processing Foundation

Altri programmi di Lean FRO

Vedi tutti

Tag

Condividi