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 Beta काय आहे?
Coq Beta हे Windows साठीचे Coq यांचे ओपन सोर्स ॲप्लिकेशन आहे. ते Shell मध्ये लिहिलेले आहे.
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
64-बिट साठी अधिकृत इन्स्टॉलर उपलब्ध आहेत (EXE (NSIS)). इन्स्टॉल करताना ॲडमिनिस्ट्रेटर अधिकार मागितले जातात. इन्स्टॉलर कोणतेही प्रश्न न विचारता (सायलेंट) इन्स्टॉलेशनला सपोर्ट करतो.
अपडेट आणि आवृत्ती इतिहास
सध्याची आवृत्ती 2025.08.3 आहे, जी १९ मार्च, २०२६ रोजी रिलीज झाली. १४ नोव्हेंबर, २०२१ पासून आजपर्यंतच्या ३ आवृत्त्या येथे नोंदवलेल्या आहेत, प्रत्येकीच्या इन्स्टॉलर फाइल्सच्या लिंकसह. म्हणजे दरवर्षी सुमारे ०.७ रिलीज.
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (rocq-prover/platform) २४७ स्टार मिळाले आहेत.
GitHub वरील प्रोजेक्टचे वर्णन: “Multi platform setup for Rocq, Rocq libraries and tools”
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- दस्तऐवजीकृत सायलेंट इन्स्टॉल
मर्यादा
- नेटिव्ह ARM64 बिल्ड नाही
- इन्स्टॉल करण्यासाठी ॲडमिनिस्ट्रेटर अधिकार लागतात
थोडक्यात: Coq Beta हे 64-बिट PC साठीचे ओपन सोर्स Windows टूल आहे. ॲडमिनिस्ट्रेटर ते युजरच्या कोणत्याही इनपुटशिवाय (अनअटेंडेड) डिप्लॉय करू शकतात.
Coq Beta डाउनलोड करणे सुरक्षित आहे का?
- फाइल github.com वरून येते, जे प्रकाशकाचे स्वतःचे डोमेन आहे
- डाउनलोड लिंक HTTPS वापरते
- SHA256 हॅश प्रकाशित आहे, त्यामुळे आपण फाइल तपासू शकता:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· या हॅशचा VirusTotal अहवाल उघडा - लिंक अद्याप तपासलेली नाही
- सोर्स कोड सार्वजनिक आहे
- ExeAtlas इन्स्टॉलर होस्ट करत नाही, रॅप करत नाही आणि बदलत नाही
संबंधित मार्गदर्शक: Windows वर फाइलचा SHA256 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व ३ आवृत्त्या ›४ वर्षांत ३ आवृत्त्या · दरवर्षी सुमारे ०.७
| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 2025.08.3नवीनतम | १९ मार्च, २०२६ | — | 64-बिट EXE (NSIS) |
| 2025.1.0 | १० फेब्रुवारी, २०२५ | — | 64-बिट EXE (NSIS) |
| 8.14.0 | १४ नोव्हेंबर, २०२१ | — | कोणताही CPU EXE (NSIS) |
कमांड लाइनवरून इन्स्टॉल करा
सायलेंट इन्स्टॉल ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /Sसंबंधित मार्गदर्शक: winget कसे वापरावे: ॲप्स इन्स्टॉल आणि अपडेट करा
माहिती
- प्रकाशक
- Coq
- लायसन्स
- CC0-1.0
- किंमत
- मोफत
- सोर्स कोड
- github.com/rocq-prover/platform
- प्रोग्रामिंग भाषा
- Shell
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इन्स्टॉलर
- EXE (NSIS)
- आवृत्ती
- 2025.08.3
- रिलीज
- १९ मार्च, २०२६
- कॅटलॉगमध्ये जोडले
- १४ नोव्हेंबर, २०२१
- नोंदवलेल्या आवृत्त्या
- 3
- अपडेट / वर्ष
- ०.७
- GitHub स्टार
- २४७
- GitHub फोर्क
- ५६
- वेबसाइट
- github.com
- winget ID
- Coq.CoqPlatform.Beta
रेटिंग आणि रिव्ह्यू
अद्याप कोणताही रिव्ह्यू नाही. सर्वात आधी रेटिंग द्या.
वारंवार विचारले जाणारे प्रश्न
Coq Beta मोफत आहे का?
हो. Coq Beta हे ओपन सोर्स सॉफ्टवेअर आहे (CC0-1.0 लायसन्स).
Coq Beta डाउनलोड करणे सुरक्षित आहे का?
फाइल github.com वरून डाउनलोड होते, जो प्रकाशकाचा स्वतःचा आहे; ExeAtlas फाइल होस्ट करत नाही आणि बदलतही नाही. डाउनलोड केलेल्या फाइलचा SHA256 हॅश येथे दाखवलेल्या हॅशशी जुळवा, किंवा त्या हॅशचा VirusTotal अहवाल उघडा.
winget ने Coq Beta कसे इन्स्टॉल करायचे?
PowerShell किंवा Windows Terminal उघडा आणि या पेजवर दिलेली winget कमांड चालवा. winget अधिकृत इन्स्टॉलर डाउनलोड करतो आणि चालवण्यापूर्वी त्याचा SHA256 हॅश तपासतो.
Coq Beta सायलेंट इन्स्टॉल करता येते का?
हो. सायलेंट इन्स्टॉल पेजवर प्रत्येक इन्स्टॉलरची अचूक कमांड दिली आहे.
Coq Beta ARM (Windows on Arm) वर चालते का?
ARM64 बिल्ड नाही; Windows 11 on Arm वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
Coq Beta ची जुनी आवृत्ती कुठून डाउनलोड करायची?
आवृत्त्यांच्या पेजवर १४ नोव्हेंबर, २०२१ पासूनच्या सर्व ३ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.