జనాదరణ పొందినవి: డేటా అప్‌డేట్: 4 నవంబర్, 2026

వర్గాలు

ఇంటర్నెట్1,367
కమ్యూనికేషన్322
ఆడియో మరియు వీడియో908
గ్రాఫిక్స్ మరియు డిజైన్545
ఆఫీస్ మరియు ప్రొడక్టివిటీ1,132
డెవలపర్ టూల్స్3,156
AI టూల్స్539
సెక్యూరిటీ మరియు ప్రైవసీ392
సిస్టమ్ టూల్స్3,151
గేమ్స్529
విద్య మరియు సైన్స్240
నెట్‌వర్క్ మరియు IT287

Elan 4.2.2 డౌన్‌లోడ్

The Lean version manager

ఇది పాత వెర్షన్. తాజా వెర్షన్ 4.2.4. Elan 4.2.4 · విడుదల:

ఇన్‌స్టాలర్ ఫైల్‌లు 4.2.2

ఆర్కిటెక్చర్రకంఎవరి కోసంఫైల్ సైజ్డౌన్‌లోడ్SHA256
64-బిట్ ZIP → పోర్టబుల్ — — github.com VirusTotal

లింక్‌లు మరియు SHA256, Windows Package Manager కమ్యూనిటీ మ్యానిఫెస్ట్‌ల నుంచి తీసుకున్నవి. ఫైల్‌ను రన్ చేసే ముందు దాని హ్యాష్ సరిపోల్చండి.

రిలీజ్ నోట్స్

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

Lean FRO నుంచి ఇతర యాప్‌లు

అన్నీ చూడండి
  • LeanIDE మరియు కోడ్ ఎడిటర్లు · Lean FRO

ట్యాగ్‌లు

షేర్ చేయండి