Descrição
Versões do provador de teoremas Lean podem ser instaladas e alternadas pela linha de comando. É útil para desenvolvedores e pesquisadores trabalhando com projetos Lean que fixam versões da toolchain.
Gerenciadores de versão baixam e executam toolchains. Revise a configuração do projeto antes de usar em repositórios não confiáveis.