Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Descrição do desenvolvedor (inglês)
O que é Lean?
Publicado por Lean FRO, Lean é um software de código aberto para Windows que aparece na categoria IDEs e editores de código. Foi escrito em Lean.
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.35.0, lançada em 12 de outubro de 2026. O histórico vai até 1 de maio de 2025: 24 versões, todas com link para os arquivos oficiais. Isso dá cerca de 17 versões por ano. A última atualização tem menos de um mês.
Popularidade e tipos de arquivo
O código-fonte no GitHub (leanprover/lean4) tem 9.626 estrelas. Entre os programas parecidos estão OpenCode, RStudio e Node.js (LTS).
Descrição do projeto no GitHub: “Lean 4 programming language and theorem prover”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
- Atualizações frequentes (cerca de 17 por ano)
- Grande base de usuários
Pontos negativos
- Sem versão nativa ARM64
Em resumo: Lean é um programa de código aberto da categoria IDEs e editores de código, disponível para PCs 64 bits. Recebe atualizações com frequência.
É seguro baixar Lean?
- 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:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· 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
Práticas de segurança (OpenSSF Scorecard)
Verificações automáticas do repositório leanprover/lean4 no GitHub feitas pela Open Source Security Foundation, executadas pela última vez em 19 de outubro de 2026.
- Manutenção ativa10
- Sem workflows perigosos10
- Licença declarada10
- Sem binários no repositório10
- Dependências fixadas4
- Revisão de código1
- Permissões de token restritas0
- Selo OpenSSF Best Practices0
- Política de segurança0
- Fuzzing0
- Versões assinadas0
- Análise estática de código0
A nota avalia como o projeto é desenvolvido e publicado, não se o programa é seguro para instalar. scorecard.dev
Versões recentes
Todas as 24 versões ›24 versões em 1 ano · cerca de 17 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 4.35.0Atual | 12 de outubro de 2026 | — | 64 bits ZIP |
| 4.34.1 | 24 de setembro de 2026 | — | 64 bits ZIP |
| 4.34.0 | 14 de setembro de 2026 | — | 64 bits ZIP |
| 4.33.1 | 21 de agosto de 2026 | — | 64 bits ZIP |
| 4.33.0 | 10 de agosto de 2026 | — | 64 bits ZIP |
| 4.32.2 | 28 de julho de 2026 | — | 64 bits ZIP |
| 4.32.1 | 22 de julho de 2026 | — | 64 bits ZIP |
| 4.32.0 | 13 de julho de 2026 | — | 64 bits ZIP |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id Lean.Lean -eArquivos de programa (.exe): lean.exe, leanc.exe
Guia relacionado: Como usar o winget: instalar e atualizar programas
Informações
- Desenvolvedor
- Lean FRO
- Categoria
- IDEs e editores de código
- Licença
- Apache-2.0
- Preço
- Grátis
- Código-fonte
- github.com/leanprover/lean4
- Linguagem
- Lean
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- Portátil
- Versão
- 4.35.0
- Lançamento
- 12 de outubro de 2026
- Adicionado ao catálogo
- 6 de maio de 2025
- Versões registradas
- 24
- Atualizações por ano
- 16,6
- Estrelas no GitHub
- 9.626
- Forks no GitHub
- 1.059
- Site oficial
- lean-lang.org
- ID do winget
- Lean.Lean
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para Lean
Ver tudo ›-
Código aberto285,2 mil ↓ -
Código aberto705,1 mil ↓ -
Código aberto4,9 mi ↓ -
Código aberto88,8 mil ↓ -
Código aberto49,7 mil ↓ -
Código aberto394,5 mil ↓ -
Código aberto79,2 mil ↓ -
Código aberto94,6 mil ↓
Perguntas frequentes
Lean é grátis?
Sim. Lean é um software de código aberto com licença Apache-2.0.
É seguro baixar Lean?
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 Lean 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.
Lean 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 Lean?
A página de versões lista as 24 versões com links para os instaladores oficiais, desde 1 de maio de 2025.
Dá para usar Lean sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
Quais são as alternativas para Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans e Haxe. A página de alternativas faz a comparação.
