Esta é uma versão antiga. A versão atual é 4.35.0. Lean 4.35.0 · Lançamento:
Arquivos de instalação 4.32.2
| Arquitetura | Tipo | Escopo | Tamanho do arquivo | Baixar | SHA256 |
|---|---|---|---|---|---|
| 64 bits | ZIP → Portátil | — | — | github.com | VirusTotal |
O link e o SHA256 vêm do manifesto comunitário do Gerenciador de Pacotes do Windows. Compare o hash do arquivo baixado antes de executá-lo.
Notas da versão
This is the v4.32.2 release of Lean. View the release notes for more information.
