लोकप्रिय: डेटा अपडेट: 8 नवंबर 2026

श्रेणियाँ

इंटरनेट1,378
कम्युनिकेशन323
ऑडियो और वीडियो914
ग्राफ़िक्स और डिज़ाइन552
ऑफ़िस और प्रोडक्टिविटी1,137
डेवलपर टूल3,179
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 के और ऐप

सभी देखें

टैग

शेयर करें