Populares: Datos actualizados el 8 de noviembre de 2026

Categorías

Internet1378
Comunicación323
Audio y vídeo914
Gráficos y diseño552
Ofimática y productividad1137
Programación3179
Inteligencia artificial555
Seguridad y privacidad396
Herramientas del sistema3169
Juegos532
Educación y ciencia240
Redes e informática291

Descargar Elan 4.2.3 para Windows

The Lean version manager

Esta es una versión anterior. La versión actual es 4.2.4. Elan 4.2.4 · Fecha de publicación:

Archivos de instalación 4.2.3

ArquitecturaTipoÁmbitoTamaño del archivoDescargarSHA256
64 bits ZIP → Portable — — github.com VirusTotal

El enlace y el SHA256 proceden del manifiesto comunitario del Administrador de paquetes de Windows. Conviene comparar el hash del archivo descargado antes de ejecutarlo.

Notas de la versión

https://github.com/leanprover/elan/releases/tag/v4.2.3

Más programas de Lean FRO

Ver todo
  • LeanIDE y editores de código · Lean FRO

Etiquetas

Compartir