elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
Descrição do desenvolvedor (inglês)
O que é Elan?
Publicado por Lean FRO, Elan é um software de código aberto para Windows. Foi escrito em Rust.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows 64 bits. Roda sem instalação (versão portátil).
Atualizações e histórico de versões
A versão atual é a 4.2.4, lançada em 25 de agosto de 2026. O histórico vai até 30 de abril de 2025: 7 versões, todas com link para os arquivos oficiais. Isso dá cerca de 5,3 versões por ano.
Popularidade e tipos de arquivo
O código-fonte no GitHub (leanprover/elan) tem 659 estrelas.
Descrição do projeto no GitHub: “The Lean version manager”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
Pontos negativos
- Sem versão nativa ARM64
Em resumo: Elan é um programa de código aberto para Windows, disponível para PCs 64 bits. Recebe atualizações com frequência.
É seguro baixar Elan?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 7 versões ›7 versões em 1 ano · cerca de 5,3 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 4.2.4Atual | 25 de agosto de 2026 | — | 64 bits ZIP |
| 4.2.3 | 8 de junho de 2026 | — | 64 bits ZIP |
| 4.2.2 | 28 de maio de 2026 | — | 64 bits ZIP |
| 4.2.1 | 18 de março de 2026 | — | 64 bits ZIP |
| 4.2.0 | 25 de fevereiro de 2026 | — | 64 bits ZIP |
| 4.1.2 | 26 de maio de 2025 | — | 64 bits ZIP |
| 4.1.1 | 30 de abril de 2025 | — | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id Lean.Elan -escoop install main/elanArquivos de programa (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Guia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- Lean FRO
- Licença
- Apache-2.0
- Preço
- Grátis
- Código-fonte
- github.com/leanprover/elan
- Linguagem
- Rust
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 4.2.4
- Lançamento
- 25 de agosto de 2026
- Adicionado ao catálogo
- 4 de maio de 2025
- Versões registradas
- 7
- Atualizações por ano
- 5,3
- Estrelas no GitHub
- 659
- Forks no GitHub
- 60
- Site oficial
- github.com
- ID do winget
- Lean.Elan
- Pacote do Scoop
- main/elan
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Perguntas frequentes
Elan é grátis?
Sim. Elan é um software de código aberto com licença Apache-2.0.
É seguro baixar Elan?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar Elan pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Elan roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Onde baixar versões antigas de Elan?
A página de versões lista as 7 versões com links para os instaladores oficiais, desde 30 de abril de 2025.
Dá para usar Elan sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
