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 بت بصيغة EXE (NSIS). يتطلب التثبيت صلاحيات المسؤول. يدعم المثبّت التثبيت الصامت دون تدخل من المستخدم.
التحديثات وسجل الإصدارات
الإصدار الحالي هو 2025.08.3، وقد صدر في 19 مارس 2026. يضم السجل 3 إصدارات منذ 14 نوفمبر 2021، ولكل إصدار روابط إلى ملفات التثبيت الخاصة به. أي بمعدل 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 ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (3) ›3 إصدارات خلال 4 سنوات · بمعدل 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
- 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 على أجهزة Windows on Arm؟
لا يوجد إصدار ARM64؛ لكن Windows 11 on Arm يستطيع تشغيل إصدار 64 بت عبر المحاكاة.
من أين أحمّل إصدارًا قديمًا من Coq Beta؟
تعرض صفحة الإصدارات جميع الإصدارات المدرجة (3) مع روابط ملفات التثبيت الرسمية، رجوعًا حتى 14 نوفمبر 2021.