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-bit لپاره د EXE (NSIS) په بڼه شته. نصب یې د اډمین (Administrator) اجازه غواړي. نصبوونکی بې له کارن د لاسوهنې (چوپه) نصب ملاتړ کوي.
تازه کېدنې او د نسخو تاریخچه
اوسنۍ نسخه 2025.08.3 ده چې په AP ۱۴۰۵ وری ۲۰ خپره شوه. ۵ نسخې له AP ۱۴۰۰ وږی ۳۰ راهیسې لېست شوې، هره یوه د خپلو نصب فایلونو لینکونه لري. یعنې په کال کې شاوخوا ۱٫۱ خپرونې.
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (rocq-prover/platform) ۲۴۷ ستوري لري.
په GitHub کې د پروژې تشریح: “Multi platform setup for Rocq, Rocq libraries and tools”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- لیکل شوی چوپه نصب
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
- نصب یې د اډمین اجازه غواړي
لنډه دا چې: Coq د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه Windows وسیله ده. اډمینان یې بې له لاسوهنې وېشلی شي.
ایا د Coq ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۵ نسخې ›۵ نسخې په ۵ کلونو کې · په کال کې شاوخوا ۱٫۱
| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 2025.08.3وروستۍ | AP ۱۴۰۵ وری ۲۰ | — | 64-bit EXE (NSIS) |
| 2025.08.2 | AP ۱۴۰۴ سلواغه ۳۰ | — | 64-bit EXE (NSIS) |
| 2025.1.0 | AP ۱۴۰۳ سلواغه ۲۹ | — | 64-bit EXE (NSIS) |
| 8.14.1 | AP ۱۴۰۰ سلواغه ۸ | — | ټول پروسېسرونه EXE (NSIS) |
| 8.13.2 | AP ۱۴۰۰ وږی ۳۰ | — | ټول پروسېسرونه 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
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- EXE (NSIS)
- نسخه
- 2025.08.3
- د خپرېدو نېټه
- AP ۱۴۰۵ وری ۲۰
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۰ وږی ۳۰
- لېست شوې نسخې
- 5
- په کال کې تازه کېدنې
- ۱٫۱
- د GitHub ستوري
- ۲۴۷
- د GitHub فورکونه
- ۵۶
- وېب پاڼه
- github.com
- winget ID
- Coq.CoqPlatform
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
ډېرې پوښتل شوې پوښتنې
ایا Coq وړیا دی؟
هو. Coq خلاصه سرچینه سافټویر دی د CC0-1.0 جواز لاندې.
ایا د Coq ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي، چې د خپرونکي خپل دی؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
Coq د winget په مرسته څنګه نصب کړم؟
PowerShell یا Windows Terminal پرانیزئ او هغه winget کمانډ وچلوئ چې په دې پاڼه کې ښودل شوی. winget رسمي نصبوونکی ډاونلوډوي او له چلولو مخکې یې SHA256 هش ګوري.
ایا Coq په چوپه توګه نصبېدای شي؟
هو. د چوپه نصب پاڼه د هر نصبوونکي دقیق کمانډ ښیي.
ایا Coq په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
د Coq زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۵ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۰ وږی ۳۰ پورې.