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 بت بصيغة EXE (NSIS). يتطلب التثبيت صلاحيات المسؤول. يدعم المثبّت التثبيت الصامت دون تدخل من المستخدم.
التحديثات وسجل الإصدارات
الإصدار الحالي هو 2025.08.3، وقد صدر في 9 أبريل 2026. يضم السجل 5 إصدارات منذ 21 سبتمبر 2021، ولكل إصدار روابط إلى ملفات التثبيت الخاصة به. أي بمعدل 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 ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (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
- Coq.CoqPlatform
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
الأسئلة الشائعة
هل برنامج Coq مجاني؟
نعم. برنامج Coq مفتوح المصدر ويخضع لترخيص CC0-1.0.
هل تحميل Coq آمن؟
يأتي ملف التحميل من github.com، وهو نطاق يملكه الناشر؛ ولا يستضيف ExeAtlas الملف ولا يعدّله. قارن بصمة SHA256 للملف بالبصمة المعروضة هنا، أو افتح تقرير VirusTotal لهذه البصمة.
كيف أثبّت Coq باستخدام winget؟
افتح PowerShell أو Windows Terminal وشغّل أمر winget المعروض في هذه الصفحة. ينزّل winget ملف التثبيت الرسمي ويتحقق من بصمة SHA256 قبل تشغيله.
هل يمكن تثبيت Coq تثبيتًا صامتًا؟
نعم. تعرض صفحة التثبيت الصامت الأمر الدقيق لكل مثبّت.
هل يعمل Coq على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
من أين أحمّل إصدارًا قديمًا من Coq؟
تعرض صفحة الإصدارات جميع الإصدارات المدرجة (5) مع روابط ملفات التثبيت الرسمية، رجوعًا حتى 21 سبتمبر 2021.