Populares: Datos actualizados el 26 de octubre de 2026

Categorías

Internet1355
Comunicación321
Audio y vídeo898
Gráficos y diseño539
Ofimática y productividad1120
Programación3132
Inteligencia artificial527
Seguridad y privacidad385
Herramientas del sistema3113
Juegos523
Educación y ciencia239
Redes e informática284

Lean: descargar versiones anteriores

Programming Language and Theorem Prover

Aquí figuran 24 versiones de Lean, desde 1 de mayo de 2025 hasta la actual, 4.35.0. Cada una enlaza con los instaladores del propio desarrollador.

2025: 10 10 25 2026: 14 14 26

24 versiones en 1 año · unas 17 al año

VersiónFechaTamañoArchivos
4.35.0Última versión 12 de octubre de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 de septiembre de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 de septiembre de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 de agosto de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 de agosto de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 de julio de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 de julio de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 de julio de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 de junio de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 de mayo de 2026 — 64 bits ZIP
Notas de la versión
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 de abril de 2026 — 64 bits ZIP
4.29.0 27 de marzo de 2026 — 64 bits ZIP
4.28.0 16 de febrero de 2026 — 64 bits ZIP
4.27.0 23 de enero de 2026 — 64 bits ZIP
4.26.0 13 de diciembre de 2025 — 64 bits ZIP
4.25.2 24 de noviembre de 2025 — 64 bits ZIP
4.25.0 14 de noviembre de 2025 — 64 bits ZIP
4.24.0 14 de octubre de 2025 — 64 bits ZIP
4.23.0 14 de septiembre de 2025 — 64 bits ZIP
4.22.0 14 de agosto de 2025 — 64 bits ZIP
4.21.0 30 de junio de 2025 — 64 bits ZIP
4.20.1 4 de junio de 2025 — 64 bits ZIP
4.20.0 2 de junio de 2025 — 64 bits ZIP
4.19.0 1 de mayo de 2025 — 64 bits ZIP

Lo más popular en IDE y editores de código

Ver todo
  1. OpenCodeIDE y editores de código · OpenCode
  2. RStudioIDE y editores de código · Posit Software
  3. Node.js (LTS)IDE y editores de código · Node.js Foundation
  4. Apache NetBeansIDE y editores de código · Apache NetBeans
  5. VSCodiumIDE y editores de código · VSCodium
  6. HaxeIDE y editores de código · Haxe Foundation
  7. ThonnyIDE y editores de código · Aivar Annamaa
  8. GDevelopIDE y editores de código · GDevelop Team
  9. mkcertIDE y editores de código · FiloSottile
  10. ProcessingIDE y editores de código · Processing Foundation

Más programas de Lean FRO

Ver todo

Etiquetas

Compartir