Populares: Dados atualizados em 14 de novembro de 2026

Categorias

Internet1.413
Comunicação327
Áudio e vídeo935
Gráficos e design562
Escritório e produtividade1.175
Programação3.276
Inteligência artificial605
Segurança e privacidade407
Ferramentas do sistema3.182
Jogos544
Educação e ciência241
Redes e TI293

Baixar Elan 4.2.2 para Windows

The Lean version manager

Esta é uma versão antiga. A versão atual é 4.2.4. Elan 4.2.4 · Lançamento:

Arquivos de instalação 4.2.2

ArquiteturaTipoEscopoTamanho do arquivoBaixarSHA256
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

https://github.com/leanprover/elan/releases/tag/v4.2.2

Mais programas de Lean FRO

Ver tudo
  • LeanIDEs e editores de código · Lean FRO

Tags

Compartilhar