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، جسے The Coq Team جاری کرتا ہے، Windows کے لیے ایک اوپن سورس پروگرام ہے۔ یہ Shell میں لکھا گیا ہے۔
انسٹالیشن اور سسٹم کی ضروریات
64 بٹ کے لیے سرکاری انسٹالر موجود ہیں (EXE (NSIS))۔ انسٹالیشن کے دوران ایڈمنسٹریٹر کی اجازت درکار ہوتی ہے۔ انسٹالر بغیر کسی سوال کے، یعنی خاموش انسٹالیشن کی سہولت دیتا ہے۔
اپ ڈیٹس اور ورژن کی تاریخ
موجودہ ورژن 2025.08.3 ہے، جو 9 اپریل، 2026 کو جاری ہوا۔ 21 ستمبر، 2021 سے اب تک کے 5 ورژن درج ہیں، اور ہر ایک کے ساتھ اس کی اپنی انسٹالر فائلوں کے لنکس ہیں۔ یعنی سال میں تقریباً 1.1 ریلیز۔
مقبولیت اور فائل اقسام
GitHub پر اس کے سورس کوڈ (rocq-prover/platform) کو 247 اسٹارز ملے ہیں۔
GitHub پر پروجیکٹ کی وضاحت: “Multi platform setup for Rocq, Rocq libraries and tools”
خوبیاں / خامیاں
خوبیاں
- اوپن سورس: کوئی بھی کوڈ دیکھ اور بِلڈ کر سکتا ہے
- دستاویزی خاموش انسٹالیشن
خامیاں
- نیٹو ARM64 ورژن موجود نہیں
- انسٹالیشن کے لیے ایڈمنسٹریٹر کی اجازت درکار
خلاصہ: Coq Windows کا ایک اوپن سورس ٹول ہے جو 64 بٹ کمپیوٹرز کے لیے دستیاب ہے۔ ایڈمنسٹریٹر اسے بغیر کسی مداخلت کے انسٹال کروا سکتے ہیں۔
کیا Coq ڈاؤن لوڈ کرنا محفوظ ہے؟
- فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- SHA256 ہیش شائع شدہ ہے، اس لیے آپ فائل کی تصدیق کر سکتے ہیں:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· اس ہیش کی VirusTotal رپورٹ کھولیں - لنک ابھی چیک نہیں ہوا
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 5 ورژن ›5 برسوں میں 5 ورژن · سال میں تقریباً 1.1
| ورژن | تاریخ | سائز | فائلیں |
|---|---|---|---|
| 2025.08.3تازہ ترین | 9 اپریل، 2026 | — | 64 بٹ EXE (NSIS) |
| 2025.08.2 | 19 فروری، 2026 | — | 64 بٹ EXE (NSIS) |
| 2025.1.0 | 17 فروری، 2025 | — | 64 بٹ EXE (NSIS) |
| 8.14.1 | 28 جنوری، 2022 | — | تمام پروسیسر EXE (NSIS) |
| 8.13.2 | 21 ستمبر، 2021 | — | تمام پروسیسر 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
- تاریخِ اجرا
- 9 اپریل، 2026
- فہرست میں شامل
- 21 ستمبر، 2021
- درج ورژن
- 5
- سالانہ اپ ڈیٹس
- 1.1
- GitHub اسٹارز
- 247
- GitHub فورکس
- 56
- ویب سائٹ
- 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 کا پرانا ورژن کہاں سے ڈاؤن لوڈ کریں؟
ورژنز کے صفحے پر تمام 5 ورژن (21 ستمبر، 2021 سے) ان کی سرکاری انسٹالر فائلوں کے لنکس کے ساتھ موجود ہیں۔