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 आहे, जी ९ एप्रिल, २०२६ रोजी रिलीज झाली. २१ सप्टेंबर, २०२१ पासून आजपर्यंतच्या ५ आवृत्त्या येथे नोंदवलेल्या आहेत, प्रत्येकीच्या इन्स्टॉलर फाइल्सच्या लिंकसह. म्हणजे दरवर्षी सुमारे १.१ रिलीज.
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (rocq-prover/platform) २४७ स्टार मिळाले आहेत.
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 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व ५ आवृत्त्या ›५ वर्षांत ५ आवृत्त्या · दरवर्षी सुमारे १.१
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 2025.08.3नवीनतम | ९ एप्रिल, २०२६ | — | 64-बिट EXE (NSIS) |
| 2025.08.2 | १९ फेब्रुवारी, २०२६ | — | 64-बिट EXE (NSIS) |
| 2025.1.0 | १७ फेब्रुवारी, २०२५ | — | 64-बिट 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
- आर्किटेक्चर
- 64-बिट
- इन्स्टॉलर
- 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 वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
Coq ची जुनी आवृत्ती कुठून डाउनलोड करायची?
आवृत्त्यांच्या पेजवर २१ सप्टेंबर, २०२१ पासूनच्या सर्व ५ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.