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