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 मा लेखिएको हो।
इन्स्टलेसन र सिस्टम आवश्यकता
६४-बिट का लागि आधिकारिक इन्स्टलर उपलब्ध छन् (EXE (NSIS))। इन्स्टल गर्दा एडमिनिस्ट्रेटर अधिकार माग्छ। इन्स्टलरले कुनै प्रश्न नसोधी (साइलेन्ट) इन्स्टलेसन सपोर्ट गर्छ।
अपडेट र संस्करण इतिहास
हालको संस्करण 2025.08.3 हो, जुन २०२६ अप्रिल ९ मा रिलिज भएको थियो। २०२१ सेप्टेम्बर २१ देखि अहिलेसम्मका ५ संस्करण यहाँ दर्ता छन्, हरेकका आफ्नै इन्स्टलर फाइलका लिङ्कसहित। अर्थात् प्रति वर्ष लगभग १.१ रिलिज।
लोकप्रियता र फाइल प्रकार
GitHub मा यसको सोर्स कोड (rocq-prover/platform) ले २४७ स्टार पाएको छ।
GitHub मा प्रोजेक्टको विवरण: “Multi platform setup for Rocq, Rocq libraries and tools”
राम्रा पक्ष / कमजोरी
राम्रा पक्ष
- ओपन सोर्स: जो कोहीले यसको कोड हेर्न र बिल्ड गर्न सक्छ
- दस्तावेज गरिएको साइलेन्ट इन्स्टल
कमजोरी
- नेटिभ ARM64 बिल्ड छैन
- इन्स्टल गर्न एडमिनिस्ट्रेटर अधिकार चाहिन्छ
संक्षेपमा: Coq ६४-बिट PC का लागि एउटा ओपन सोर्स Windows टुल हो। एडमिनिस्ट्रेटरले यसलाई प्रयोगकर्ताको हस्तक्षेपबिना (अनअटेन्डेड) डिप्लोय गर्न सक्छन्।
के Coq डाउनलोड गर्नु सुरक्षित छ?
- फाइल github.com बाट आउँछ, जुन प्रकाशकको आफ्नै डोमेन हो
- डाउनलोड लिङ्कले HTTPS प्रयोग गर्छ
- SHA256 ह्यास प्रकाशित छ, त्यसैले तपाईं फाइल जाँच्न सक्नुहुन्छ:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· यो ह्यासको VirusTotal रिपोर्ट खोल्नुहोस् - लिङ्क अहिलेसम्म जाँचिएको छैन
- सोर्स कोड सार्वजनिक छ
- ExeAtlas ले इन्स्टलर न होस्ट गर्छ, न र्याप गर्छ, न बदल्छ
सम्बन्धित गाइड: Windows मा फाइलको SHA256 ह्यास कसरी जाँच्ने
हालैका संस्करणहरू
सबै ५ संस्करण ›५ वर्षमा ५ संस्करण · प्रति वर्ष लगभग १.१
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 2025.08.3पछिल्लो | २०२६ अप्रिल ९ | — | ६४-बिट EXE (NSIS) |
| 2025.08.2 | २०२६ फेब्रुअरी १९ | — | ६४-बिट EXE (NSIS) |
| 2025.1.0 | २०२५ फेब्रुअरी १७ | — | ६४-बिट EXE (NSIS) |
| 8.14.1 | २०२२ जनवरी २८ | — | जुनसुकै CPU EXE (NSIS) |
| 8.13.2 | २०२१ सेप्टेम्बर २१ | — | जुनसुकै 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
- आर्किटेक्चर
- ६४-बिट
- इन्स्टलर
- EXE (NSIS)
- संस्करण
- 2025.08.3
- रिलिज
- २०२६ अप्रिल ९
- क्याटलगमा थपिएको
- २०२१ सेप्टेम्बर २१
- सूचीकृत संस्करण
- 5
- अपडेट / वर्ष
- १.१
- GitHub स्टार
- २४७
- GitHub फोर्क
- ५६
- वेबसाइट
- 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 मा ६४-बिट संस्करण इमुलेसनमार्फत चल्न सक्छ।
Coq को पुरानो संस्करण कहाँबाट डाउनलोड गर्ने?
संस्करण पेजमा २०२१ सेप्टेम्बर २१ देखि अहिलेसम्मका सबै ५ संस्करण तिनका आधिकारिक इन्स्टलर फाइलका लिङ्कसहित दिइएका छन्।