ఇది పాత వెర్షన్. తాజా వెర్షన్ 4.35.0. Lean 4.35.0 · విడుదల:
ఇన్స్టాలర్ ఫైల్లు 4.34.0
| ఆర్కిటెక్చర్ | రకం | ఎవరి కోసం | ఫైల్ సైజ్ | డౌన్లోడ్ | SHA256 |
|---|---|---|---|---|---|
| 64-బిట్ | ZIP → పోర్టబుల్ | — | — | github.com | VirusTotal |
లింక్లు మరియు SHA256, Windows Package Manager కమ్యూనిటీ మ్యానిఫెస్ట్ల నుంచి తీసుకున్నవి. ఫైల్ను రన్ చేసే ముందు దాని హ్యాష్ సరిపోల్చండి.
రిలీజ్ నోట్స్
This is the v4.34.0 release of Lean. View the release notes for more information.
