Populares: Dados atualizados em 26 de outubro de 2026

Categorias

Internet1.355
Comunicação321
Áudio e vídeo898
Gráficos e design539
Escritório e produtividade1.120
Programação3.132
Inteligência artificial527
Segurança e privacidade385
Ferramentas do sistema3.113
Jogos523
Educação e ciência239
Redes e TI284

Lean: baixar versões antigas

Programming Language and Theorem Prover

Estão listadas 24 versões de Lean, de 1 de maio de 2025 até a atual, 4.35.0. Cada uma aponta para os instaladores do próprio desenvolvedor.

2025: 10 10 25 2026: 14 14 26

24 versões em 1 ano · cerca de 17 por ano

VersãoDataTamanhoArquivos
4.35.0Última versão 12 de outubro de 2026 — 64 bits ZIP
Notas da versão
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 de setembro de 2026 — 64 bits ZIP
Notas da versão
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 de setembro de 2026 — 64 bits ZIP
Notas da versão
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 de agosto de 2026 — 64 bits ZIP
Notas da versão
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 de agosto de 2026 — 64 bits ZIP
Notas da versão
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 de julho de 2026 — 64 bits ZIP
Notas da versão
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 de julho de 2026 — 64 bits ZIP
Notas da versão
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 de julho de 2026 — 64 bits ZIP
Notas da versão
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 de junho de 2026 — 64 bits ZIP
Notas da versão
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 de maio de 2026 — 64 bits ZIP
Notas da versão
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 de abril de 2026 — 64 bits ZIP
4.29.0 27 de março de 2026 — 64 bits ZIP
4.28.0 16 de fevereiro de 2026 — 64 bits ZIP
4.27.0 23 de janeiro de 2026 — 64 bits ZIP
4.26.0 13 de dezembro de 2025 — 64 bits ZIP
4.25.2 24 de novembro de 2025 — 64 bits ZIP
4.25.0 14 de novembro de 2025 — 64 bits ZIP
4.24.0 14 de outubro de 2025 — 64 bits ZIP
4.23.0 14 de setembro de 2025 — 64 bits ZIP
4.22.0 14 de agosto de 2025 — 64 bits ZIP
4.21.0 30 de junho de 2025 — 64 bits ZIP
4.20.1 4 de junho de 2025 — 64 bits ZIP
4.20.0 2 de junho de 2025 — 64 bits ZIP
4.19.0 1 de maio de 2025 — 64 bits ZIP

Mais popular em IDEs e editores de código

Ver tudo
  1. OpenCodeIDEs e editores de código · OpenCode
  2. RStudioIDEs e editores de código · Posit Software
  3. Node.js (LTS)IDEs e editores de código · Node.js Foundation
  4. Apache NetBeansIDEs e editores de código · Apache NetBeans
  5. VSCodiumIDEs e editores de código · VSCodium
  6. HaxeIDEs e editores de código · Haxe Foundation
  7. ThonnyIDEs e editores de código · Aivar Annamaa
  8. GDevelopIDEs e editores de código · GDevelop Team
  9. mkcertIDEs e editores de código · FiloSottile
  10. ProcessingIDEs e editores de código · Processing Foundation

Mais programas de Lean FRO

Ver tudo

Tags

Compartilhar