elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
Descripción del desarrollador (inglés)
¿Qué es Elan?
Detrás de Elan está Lean FRO; se trata de software de código abierto para Windows. Está escrito en Rust.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de 64 bits. Funciona sin instalación (versión portable).
Actualizaciones e historial de versiones
La versión actual es la 4.2.4, publicada el 25 de agosto de 2026. El historial llega hasta 30 de abril de 2025: 7 versiones, todas enlazadas a los archivos oficiales. Eso supone unas 5,3 versiones al año.
Popularidad y tipos de archivo
El código fuente en GitHub (leanprover/elan) tiene 659 estrellas.
Descripción del proyecto en GitHub: “The Lean version manager”
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Portable: funciona sin instalar
Inconvenientes
- Sin versión nativa para ARM64
En resumen: Elan es un programa de código abierto para Windows, disponible para equipos de 64 bits. Recibe actualizaciones con regularidad.
¿Es seguro descargar Elan?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 7 versiones ›7 versiones en 1 año · unas 5,3 al año
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 4.2.4Última | 25 de agosto de 2026 | — | 64 bits ZIP |
| 4.2.3 | 8 de junio de 2026 | — | 64 bits ZIP |
| 4.2.2 | 28 de mayo de 2026 | — | 64 bits ZIP |
| 4.2.1 | 18 de marzo de 2026 | — | 64 bits ZIP |
| 4.2.0 | 25 de febrero de 2026 | — | 64 bits ZIP |
| 4.1.2 | 26 de mayo de 2025 | — | 64 bits ZIP |
| 4.1.1 | 30 de abril de 2025 | — | 64 bits ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id Lean.Elan -escoop install main/elanArchivos de programa (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Guía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Desarrollador
- Lean FRO
- Licencia
- Apache-2.0
- Precio
- Gratis
- Código fuente
- github.com/leanprover/elan
- Lenguaje
- Rust
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instalador
- Portable
- Versión
- 4.2.4
- Fecha de publicación
- 25 de agosto de 2026
- Añadido al catálogo
- 4 de mayo de 2025
- Versiones registradas
- 7
- Actualizaciones al año
- 5,3
- Estrellas en GitHub
- 659
- Forks en GitHub
- 60
- Sitio web
- github.com
- ID de winget
- Lean.Elan
- Paquete de Scoop
- main/elan
Valoraciones y opiniones
Todavía no hay opiniones.
Preguntas frecuentes
¿Es gratis Elan?
Sí. Elan es software de código abierto con licencia Apache-2.0.
¿Es seguro descargar Elan?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Cómo instalar Elan con winget?
Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.
¿Funciona Elan en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.
¿Dónde descargar versiones anteriores de Elan?
La página de versiones recoge las 7 versiones con enlaces a sus instaladores oficiales, desde 30 de abril de 2025.
¿Se puede usar Elan sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
