ਮਸ਼ਹੂਰ: ਡਾਟਾ ਅੱਪਡੇਟ: 9 ਨਵੰਬਰ 2026

ਸ਼੍ਰੇਣੀਆਂ

ਇੰਟਰਨੈੱਟ1,378
ਸੰਚਾਰ323
ਆਡੀਓ ਅਤੇ ਵੀਡੀਓ914
ਗ੍ਰਾਫ਼ਿਕਸ ਅਤੇ ਡਿਜ਼ਾਈਨ552
ਦਫ਼ਤਰ ਅਤੇ ਉਤਪਾਦਕਤਾ1,137
ਡਿਵੈਲਪਰ ਟੂਲ3,178
AI ਟੂਲ555
ਸੁਰੱਖਿਆ ਅਤੇ ਪ੍ਰਾਈਵੇਸੀ396
ਸਿਸਟਮ ਟੂਲ3,169
ਗੇਮਾਂ532
ਸਿੱਖਿਆ ਅਤੇ ਵਿਗਿਆਨ240
ਨੈੱਟਵਰਕ ਅਤੇ IT291

Lean 4.35.0 ਡਾਊਨਲੋਡ ਕਰੋ

Programming Language and Theorem Prover

ਇਹ ਸਭ ਤੋਂ ਨਵਾਂ ਵਰਜ਼ਨ ਹੈ। · ਰਿਲੀਜ਼:

ਇੰਸਟਾਲਰ ਫ਼ਾਈਲਾਂ 4.35.0

ਆਰਕੀਟੈਕਚਰਕਿਸਮਕਿਸ ਲਈਫ਼ਾਈਲ ਦਾ ਆਕਾਰਡਾਊਨਲੋਡSHA256
64-ਬਿੱਟ ZIP → ਪੋਰਟੇਬਲ — — github.com VirusTotal

ਲਿੰਕ ਅਤੇ SHA256, Windows Package Manager ਦੇ ਕਮਿਊਨਿਟੀ ਮੈਨੀਫ਼ੈਸਟਾਂ ਤੋਂ ਲਏ ਗਏ ਹਨ। ਫ਼ਾਈਲ ਚਲਾਉਣ ਤੋਂ ਪਹਿਲਾਂ ਉਸ ਦਾ ਹੈਸ਼ ਮਿਲਾ ਕੇ ਦੇਖੋ।

ਰਿਲੀਜ਼ ਨੋਟਸ

This is the v4.35.0 release of Lean. View the release notes for more information.

https://github.com/leanprover/lean4/releases/tag/v4.35.0

IDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ ਵਿੱਚ ਸਭ ਤੋਂ ਮਸ਼ਹੂਰ

ਸਾਰੀਆਂ ਦੇਖੋ
  1. RStudioIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Posit Software
  2. Node.js (LTS)IDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Node.js Foundation
  3. Apache NetBeansIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Apache NetBeans
  4. VSCodiumIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · VSCodium
  5. HaxeIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Haxe Foundation
  6. ThonnyIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Aivar Annamaa
  7. GDevelopIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · GDevelop Team
  8. mkcertIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · FiloSottile
  9. ProcessingIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Processing Foundation
  10. Android StudioIDE ਅਤੇ ਕੋਡ ਐਡੀਟਰ · Google LLC

Lean FRO ਦੀਆਂ ਹੋਰ ਐਪਾਂ

ਸਾਰੀਆਂ ਦੇਖੋ

ਟੈਗ

ਸਾਂਝਾ ਕਰੋ