Populars: Dades actualitzades el 26 d’octubre del 2026

Categories

Internet1.355
Comunicació321
Àudio i vídeo898
Gràfics i disseny539
Ofimàtica i productivitat1.120
Eines per a desenvolupadors3.132
Eines d’IA527
Seguretat i privadesa385
Eines del sistema3.113
Jocs523
Educació i ciència239
Xarxa i TI284

Lean: baixar versions anteriors

Programming Language and Theorem Prover

Aquí hi ha 24 versions de Lean, des de 1 de maig del 2025 fins a l’actual, 4.35.0. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.

2025: 10 10 25 2026: 14 14 26

24 versions en 1 any · unes 17 per any

VersióDataMidaFitxers
4.35.0Darrera versió 12 d’octubre del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 de setembre del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 de setembre del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 d’agost del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 d’agost del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 de juliol del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 de juliol del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 de juliol del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 de juny del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 de maig del 2026 — 64 bits ZIP
Notes de la versió
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 d’abril del 2026 — 64 bits ZIP
4.29.0 27 de març del 2026 — 64 bits ZIP
4.28.0 16 de febrer del 2026 — 64 bits ZIP
4.27.0 23 de gener del 2026 — 64 bits ZIP
4.26.0 13 de desembre del 2025 — 64 bits ZIP
4.25.2 24 de novembre del 2025 — 64 bits ZIP
4.25.0 14 de novembre del 2025 — 64 bits ZIP
4.24.0 14 d’octubre del 2025 — 64 bits ZIP
4.23.0 14 de setembre del 2025 — 64 bits ZIP
4.22.0 14 d’agost del 2025 — 64 bits ZIP
4.21.0 30 de juny del 2025 — 64 bits ZIP
4.20.1 4 de juny del 2025 — 64 bits ZIP
4.20.0 2 de juny del 2025 — 64 bits ZIP
4.19.0 1 de maig del 2025 — 64 bits ZIP

El més popular a IDE i editors de codi

Mostra-ho tot
  1. OpenCodeIDE i editors de codi · OpenCode
  2. RStudioIDE i editors de codi · Posit Software
  3. Node.js (LTS)IDE i editors de codi · Node.js Foundation
  4. Apache NetBeansIDE i editors de codi · Apache NetBeans
  5. VSCodiumIDE i editors de codi · VSCodium
  6. HaxeIDE i editors de codi · Haxe Foundation
  7. ThonnyIDE i editors de codi · Aivar Annamaa
  8. GDevelopIDE i editors de codi · GDevelop Team
  9. mkcertIDE i editors de codi · FiloSottile
  10. ProcessingIDE i editors de codi · Processing Foundation

Més programes de Lean FRO

Mostra-ho tot

Etiquetes

Comparteix