Populares: Datos actualizados el 15 de noviembre de 2026

Categorías

Internet1415
Comunicación328
Audio y vídeo936
Gráficos y diseño561
Ofimática y productividad1176
Programación3279
Inteligencia artificial605
Seguridad y privacidad407
Herramientas del sistema3183
Juegos544
Educación y ciencia241
Redes e informática292

Descargar Elan 4.2.0 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.0

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.0

Más programas de Lean FRO

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

Etiquetas

Compartir