Gestión Eficiente de Versiones para Lean Prover
Elan es una herramienta ligera que facilita la gestión de instalaciones del probador de teoremas Lean en Windows. Esta utilidad gratuita configura automáticamente el entorno para incluir los binarios necesarios de Lean y lake en la ruta del sistema. Simplifica el proceso al seleccionar y descargar automáticamente la versión adecuada de Lean según las especificaciones del archivo lean-toolchain de tu proyecto. Esto garantiza que siempre estés trabajando con la versión correcta de Lean para tus proyectos.
Además de sus funciones automáticas, Elan ofrece a los usuarios control manual sobre sus instalaciones de Lean. A través de la interfaz de línea de comandos del ejecutable elan, los usuarios pueden instalar, seleccionar, ejecutar y desinstalar diferentes versiones de Lean según sea necesario. Esta flexibilidad convierte a Elan en una herramienta esencial para desarrolladores e investigadores que trabajan con el probador de teoremas Lean, mejorando la productividad y gestionando las dependencias de manera eficiente.
