Oblíbené: Data aktualizována: 10. listopadu 2026

Kategorie

Internet1 380
Komunikace324
Audio a video915
Grafika a design554
Kancelář a produktivita1 139
Vývoj3 194
Umělá inteligence559
Zabezpečení396
Systémové nástroje3 164
Hry534
Vzdělávání a věda240
Síť a IT290

Elan 4.2.3 ke stažení

The Lean version manager

Toto je starší verze. Nejnovější verze je 4.2.4. Elan 4.2.4 · Datum vydání:

Instalační soubory 4.2.3

ArchitekturaTypPro kohoVelikost souboruStáhnoutSHA256
64bit ZIP → Přenosná verze — — github.com VirusTotal

Odkaz a SHA256 pocházejí z komunitního manifestu Windows Package Manageru. Před spuštěním porovnejte hash staženého souboru.

Seznam změn

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

Další programy od výrobce Lean FRO

Zobrazit vše
  • LeanIDE a editory kódu · Lean FRO

Štítky

Sdílet