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