Gestor de versiones para el teorema Lean
Elan es una herramienta diseñada para facilitar la gestión de las instalaciones del probador de teoremas Lean en sistemas Windows. Este programa permite a los usuarios gestionar diferentes versiones de Lean de manera eficiente, asegurando que siempre se utilice la versión correcta según lo especificado en el archivo lean-toolchain de su proyecto. Además, Elan se encarga de colocar los binarios de Lean y lake en el PATH del sistema, lo que simplifica su acceso y uso.
Alternativa más recomendada
Entre sus características principales, Elan permite la instalación, selección, ejecución y desinstalación manual de versiones de Lean a través de comandos sencillos. Esta funcionalidad es especialmente útil para desarrolladores que trabajan en proyectos que requieren diferentes entornos de Lean, permitiendo una mayor flexibilidad y control sobre sus herramientas de desarrollo.
