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 עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- 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
- Forks ב־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 על ARM (Windows on Arm)?
אין גרסת ARM64; Windows 11 on Arm יכול להריץ את גרסת ה־64 ביט באמצעות אמולציה.
איפה אפשר להוריד גרסה קודמת של Coq Beta?
בדף הגרסאות מופיעות כל 3 הגרסאות עם קישורים לקובצי ההתקנה הרשמיים, עד 14 בנובמבר 2021.