Gerenciador de Versões Lean para Windows
Elan é uma ferramenta leve e eficaz para gerenciar instalações do provador de teoremas Lean. Com ele, os usuários podem facilmente configurar o ambiente de desenvolvimento, pois o programa adiciona automaticamente os binários do Lean e do Lake ao PATH do sistema. Isso permite que o Elan selecione e baixe a versão do Lean especificada no arquivo lean-toolchain do projeto, garantindo que o ambiente esteja sempre alinhado com as necessidades do projeto em questão.
Alternativa mais recomendada
Além de automatizar o processo de instalação, o Elan também oferece a flexibilidade de gerenciar versões manualmente. Os usuários podem instalar, selecionar, executar e desinstalar diferentes versões do Lean utilizando os comandos disponíveis no executável do Elan. Essa funcionalidade é especialmente útil para desenvolvedores que trabalham em múltiplos projetos que podem exigir versões específicas do Lean.
