ਇਹ ਪੁਰਾਣਾ ਵਰਜ਼ਨ ਹੈ। ਨਵਾਂ ਵਰਜ਼ਨ 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.
