ይህ የቆየ ስሪት ነው። የአሁኑ ስሪት 4.35.0 ነው። Lean 4.35.0 · የተለቀቀበት:
የመጫኛ ፋይሎች 4.20.1
| አርክቴክቸር | አይነት | ወሰን | የፋይል መጠን | አውርድ | SHA256 |
|---|---|---|---|---|---|
| 64-bit | ZIP → ተንቀሳቃሽ (portable) | — | — | github.com | VirusTotal |
አገናኙ እና SHA256 የተወሰዱት ከWindows Package Manager የማህበረሰብ ማኒፌስት ነው። የወረደውን ፋይል ከማስኬድዎ በፊት ሃሹን ያነጻጽሩ።
