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-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 Beta د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه Windows وسیله ده. اډمینان یې بې له لاسوهنې وېشلی شي.
ایا د Coq Beta ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۳ نسخې ›۳ نسخې په ۴ کلونو کې · په کال کې شاوخوا ۰٫۷
| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 2025.08.3وروستۍ | AP ۱۴۰۴ کب ۲۸ | — | 64-bit EXE (NSIS) |
| 2025.1.0 | AP ۱۴۰۳ سلواغه ۲۲ | — | 64-bit EXE (NSIS) |
| 8.14.0 | AP ۱۴۰۰ لړم ۲۳ | — | ټول پروسېسرونه 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
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- EXE (NSIS)
- نسخه
- 2025.08.3
- د خپرېدو نېټه
- AP ۱۴۰۴ کب ۲۸
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۰ لړم ۲۳
- لېست شوې نسخې
- 3
- په کال کې تازه کېدنې
- ۰٫۷
- د GitHub ستوري
- ۲۴۷
- د GitHub فورکونه
- ۵۶
- وېب پاڼه
- github.com
- winget ID
- Coq.CoqPlatform.Beta
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
ډېرې پوښتل شوې پوښتنې
ایا Coq Beta وړیا دی؟
هو. Coq Beta خلاصه سرچینه سافټویر دی د CC0-1.0 جواز لاندې.
ایا د Coq Beta ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي، چې د خپرونکي خپل دی؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
Coq Beta د winget په مرسته څنګه نصب کړم؟
PowerShell یا Windows Terminal پرانیزئ او هغه winget کمانډ وچلوئ چې په دې پاڼه کې ښودل شوی. winget رسمي نصبوونکی ډاونلوډوي او له چلولو مخکې یې SHA256 هش ګوري.
ایا Coq Beta په چوپه توګه نصبېدای شي؟
هو. د چوپه نصب پاڼه د هر نصبوونکي دقیق کمانډ ښیي.
ایا Coq Beta په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
د Coq Beta زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۳ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۰ لړم ۲۳ پورې.