Gestión Eficiente de Versiones para Lean Prover
Elan es una herramienta gratuita diseñada para facilitar la administración de las instalaciones del probador de teoremas Lean en Windows. Este programa ligero automatiza la configuración del entorno, incluyendo los binarios necesarios de Lean y lake en la variable PATH del sistema. Elan simplifica el proceso al seleccionar y descargar automáticamente la versión adecuada de Lean según las especificaciones en el archivo lean-toolchain de tu proyecto, asegurando que siempre trabajes con la versión correcta de Lean para tus proyectos. Además de sus características automáticas, Elan ofrece a los usuarios control manual sobre sus instalaciones de Lean. Desde 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 eficientemente las dependencias.
