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 است. به زبان Shell نوشته شده است.
نصب و پیش‌نیازها
فایل‌های نصب رسمی برای ۶۴ بیتی در قالب EXE (NSIS) موجود است. نصب آن به دسترسی مدیر (Administrator) نیاز دارد. نصب‌کننده از نصب خودکار و بی‌صدا، بدون دخالت کاربر، پشتیبانی می‌کند.
به‌روزرسانی‌ها و تاریخچه نسخه‌ها
نسخه فعلی 2025.08.3 است که در ۲۰ فروردین ۱۴۰۵ منتشر شد. ۵ نسخه از ۳۰ شهریور ۱۴۰۰ به این سو فهرست شده است و هر کدام لینک فایل‌های نصب خود را دارد. یعنی حدود ۱٫۱ نسخه در سال.
محبوبیت و انواع فایل
کد منبع آن در GitHub (rocq-prover/platform) ۲۴۷ ستاره دارد.
توضیح پروژه در GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- نصب بی‌صدای مستند
نقاط ضعف
- بدون نسخه بومی ARM64
- نصب به دسترسی مدیر نیاز دارد
به طور خلاصه: Coq ابزاری متن‌باز برای ویندوز برای رایانه‌های ۶۴ بیتی است. مدیران سیستم می‌توانند آن را بدون دخالت کاربر توزیع کنند.
آیا دانلود Coq امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۵ نسخه ›۵ نسخه در ۵ سال · حدود ۱٫۱ نسخه در سال
| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 2025.08.3آخرین | ۲۰ فروردین ۱۴۰۵ | — | ۶۴ بیتی EXE (NSIS) |
| 2025.08.2 | ۳۰ بهمن ۱۴۰۴ | — | ۶۴ بیتی EXE (NSIS) |
| 2025.1.0 | ۲۹ بهمن ۱۴۰۳ | — | ۶۴ بیتی EXE (NSIS) |
| 8.14.1 | ۸ بهمن ۱۴۰۰ | — | همه پردازنده‌ها EXE (NSIS) |
| 8.13.2 | ۳۰ شهریور ۱۴۰۰ | — | همه پردازنده‌ها 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
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- EXE (NSIS)
- نسخه
- 2025.08.3
- تاریخ انتشار
- ۲۰ فروردین ۱۴۰۵
- تاریخ افزودن به فهرست
- ۳۰ شهریور ۱۴۰۰
- نسخه‌های فهرست‌شده
- 5
- به‌روزرسانی در سال
- ۱٫۱
- ستاره‌های GitHub
- ۲۴۷
- فورک‌های GitHub
- ۵۶
- وب‌سایت رسمی
- 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 روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
نسخه‌های قدیمی Coq را از کجا دانلود کنیم؟
صفحه نسخه‌ها همه ۵ نسخه را تا ۳۰ شهریور ۱۴۰۰ با لینک فایل‌های نصب رسمی فهرست می‌کند.