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