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

श्रेणियाँ

इंटरनेट1,380
कम्युनिकेशन324
ऑडियो और वीडियो915
ग्राफ़िक्स और डिज़ाइन554
ऑफ़िस और प्रोडक्टिविटी1,139
डेवलपर टूल3,194
AI टूल559
सिक्योरिटी और प्राइवेसी396
सिस्टम टूल3,164
गेम534
शिक्षा और विज्ञान240
नेटवर्क और IT290

Lean 4.22.0 डाउनलोड करें

Programming Language and Theorem Prover

यह एक पुराना संस्करण है। नवीनतम संस्करण 4.35.0 है। Lean 4.35.0 · रिलीज़:

इंस्टॉलर फ़ाइलें 4.22.0

आर्किटेक्चरटाइपकिसके लिएफ़ाइल साइज़डाउनलोडSHA256
64-बिट ZIP → पोर्टेबल — — github.com VirusTotal

लिंक और SHA256, Windows Package Manager के कम्युनिटी मैनिफ़ेस्ट से लिए गए हैं। फ़ाइल चलाने से पहले उसका हैश मिलाकर देखें।

रिलीज़ नोट्स

https://github.com/leanprover/lean4/releases/tag/v4.22.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 के और ऐप

सभी देखें

टैग

शेयर करें