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