The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq
libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq
plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
प्रकाशक का विवरण (अंग्रेज़ी)
Coq क्या है?
Coq Windows के लिए The Coq Team का एक ओपन सोर्स प्रोग्राम है। इसे Shell में लिखा गया है।
इंस्टॉलेशन और सिस्टम आवश्यकताएँ
64-बिट के लिए आधिकारिक इंस्टॉलर उपलब्ध हैं (EXE (NSIS))। इंस्टॉल करते समय एडमिनिस्ट्रेटर अधिकार माँगे जाते हैं। इंस्टॉलर बिना किसी सवाल-जवाब के (साइलेंट) इंस्टॉलेशन सपोर्ट करता है।
अपडेट और संस्करण इतिहास
मौजूदा संस्करण 2025.08.3 है, जो 9 अप्रैल 2026 को रिलीज़ हुआ। 21 सितंबर 2021 से अब तक के 5 संस्करण यहाँ दर्ज हैं, हर एक की अपनी इंस्टॉलर फ़ाइलों के लिंक के साथ। यानी हर साल लगभग 1.1 रिलीज़।
लोकप्रियता और फ़ाइल टाइप
GitHub पर इसके सोर्स कोड (rocq-prover/platform) को 247 स्टार मिले हैं।
GitHub पर प्रोजेक्ट का विवरण: “Multi platform setup for Rocq, Rocq libraries and tools”
खूबियाँ / कमियाँ
खूबियाँ
- ओपन सोर्स: कोई भी इसका कोड देख और बिल्ड कर सकता है
- डॉक्यूमेंटेड साइलेंट इंस्टॉल
कमियाँ
- नेटिव ARM64 बिल्ड नहीं है
- इंस्टॉल करने के लिए एडमिनिस्ट्रेटर अधिकार चाहिए
संक्षेप में: Coq 64-बिट PC के लिए एक ओपन सोर्स Windows टूल है। एडमिनिस्ट्रेटर इसे बिना किसी यूज़र इनपुट के (अनअटेंडेड) डिप्लॉय कर सकते हैं।
क्या Coq डाउनलोड करना सुरक्षित है?
- फ़ाइल github.com से आती है, जो प्रकाशक का अपना डोमेन है
- डाउनलोड लिंक HTTPS का इस्तेमाल करता है
- SHA256 हैश प्रकाशित है, इसलिए आप फ़ाइल की जाँच कर सकते हैं:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· इस हैश की VirusTotal रिपोर्ट खोलें - लिंक अभी जाँचा नहीं गया है
- सोर्स कोड सार्वजनिक है
- ExeAtlas इंस्टॉलर को न होस्ट करता है, न रैप करता है, न बदलता है
संबंधित गाइड: Windows पर फ़ाइल का SHA256 हैश कैसे चेक करें
हाल के संस्करण
सभी 5 संस्करण ›5 साल में 5 संस्करण · हर साल लगभग 1.1
| संस्करण | तारीख़ | साइज़ | फ़ाइलें |
|---|---|---|---|
| 2025.08.3नवीनतम | 9 अप्रैल 2026 | — | 64-बिट EXE (NSIS) |
| 2025.08.2 | 19 फ़रवरी 2026 | — | 64-बिट EXE (NSIS) |
| 2025.1.0 | 17 फ़रवरी 2025 | — | 64-बिट EXE (NSIS) |
| 8.14.1 | 28 जनवरी 2022 | — | कोई भी CPU EXE (NSIS) |
| 8.13.2 | 21 सितंबर 2021 | — | कोई भी CPU EXE (NSIS) |
कमांड लाइन से इंस्टॉल करें
साइलेंट इंस्टॉल ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /Sसंबंधित गाइड: winget कैसे इस्तेमाल करें: ऐप इंस्टॉल और अपडेट
जानकारी
- प्रकाशक
- The Coq Team
- लाइसेंस
- CC0-1.0
- कीमत
- मुफ़्त
- सोर्स कोड
- github.com/rocq-prover/platform
- प्रोग्रामिंग भाषा
- Shell
- ज़रूरी सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इंस्टॉलर
- EXE (NSIS)
- संस्करण
- 2025.08.3
- रिलीज़
- 9 अप्रैल 2026
- कैटलॉग में जोड़ा गया
- 21 सितंबर 2021
- सूचीबद्ध संस्करण
- 5
- अपडेट / साल
- 1.1
- GitHub स्टार
- 247
- GitHub फ़ोर्क
- 56
- वेबसाइट
- github.com
- winget ID
- Coq.CoqPlatform
रेटिंग और रिव्यू
अभी कोई रिव्यू नहीं है। सबसे पहले रेटिंग दें।
अक्सर पूछे जाने वाले सवाल
क्या Coq मुफ़्त है?
हाँ। Coq ओपन सोर्स सॉफ़्टवेयर है (CC0-1.0 लाइसेंस)।
क्या Coq डाउनलोड करना सुरक्षित है?
फ़ाइल github.com से डाउनलोड होती है, जो प्रकाशक का अपना है; ExeAtlas फ़ाइल को न होस्ट करता है, न बदलता है। डाउनलोड की गई फ़ाइल का SHA256 हैश यहाँ दिखाए गए हैश से मिलाएँ, या उस हैश की VirusTotal रिपोर्ट खोलें।
winget से Coq कैसे इंस्टॉल करें?
PowerShell या Windows Terminal खोलें और इस पेज पर दिया गया winget कमांड चलाएँ। winget आधिकारिक इंस्टॉलर डाउनलोड करता है और चलाने से पहले उसका SHA256 हैश जाँचता है।
क्या Coq को साइलेंट इंस्टॉल किया जा सकता है?
हाँ। साइलेंट इंस्टॉल पेज पर हर इंस्टॉलर का सटीक कमांड दिया गया है।
क्या Coq ARM (Windows on Arm) पर चलता है?
ARM64 बिल्ड नहीं है; Windows 11 on Arm पर 64-बिट वर्ज़न एमुलेशन के ज़रिए चल सकता है।
Coq का पुराना संस्करण कहाँ से डाउनलोड करें?
संस्करण पेज पर 21 सितंबर 2021 से अब तक के सभी 5 संस्करण उनकी आधिकारिक इंस्टॉलर फ़ाइलों के लिंक के साथ दिए गए हैं।