இது பழைய பதிப்பு. தற்போதைய பதிப்பு 4.35.0. Lean 4.35.0 · வெளியான தேதி:
நிறுவிக் கோப்புகள் 4.32.2
| கட்டமைப்பு | வகை | நிறுவல் வரம்பு | கோப்பு அளவு | டவுன்லோட் | SHA256 |
|---|---|---|---|---|---|
| 64-பிட் | ZIP → போர்ட்டபிள் | — | — | github.com | VirusTotal |
இணைப்பும் SHA256-உம் Windows Package Manager சமூக மேனிஃபெஸ்டிலிருந்து எடுக்கப்பட்டவை. பதிவிறக்கிய கோப்பை இயக்கும் முன் அதன் ஹாஷை ஒப்பிட்டுப் பாருங்கள்.
வெளியீட்டுக் குறிப்புகள்
This is the v4.32.2 release of Lean. View the release notes for more information.
