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 для гэтага хэша - Спасылка яшчэ не правяралася
- Зыходны код адкрыты
- 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
- Форкі на GitHub
- 56
- Сайт
- github.com
- ID winget
- Coq.CoqPlatform
Ацэнкі і водгукі
Водгукаў пакуль няма. Можна ацаніць першым.
Частыя пытанні
Праграма Coq бясплатная?
Так. Coq — праграма з адкрытым зыходным кодам (ліцэнзія CC0-1.0); спампаваць і выкарыстоўваць яе можна бясплатна.
Ці бяспечна спампоўваць праграму Coq?
Файл спампоўваецца з github.com — гэты дамен належыць распрацоўшчыку; ExeAtlas не захоўвае і не змяняе файл. Параўнайце SHA256 спампаванага файла з пазначаным на гэтай старонцы або адкрыйце справаздачу VirusTotal для гэтага хэша.
Як усталяваць Coq праз winget?
Адкрыйце PowerShell або Тэрмінал Windows і выканайце каманду winget з гэтай старонкі. winget спампуе афіцыйны ўсталёўшчык і праверыць яго хэш SHA256 перад запускам.
Ці можна ўсталяваць Coq у ціхім рэжыме?
Так. На старонцы ціхай устаноўкі пададзена дакладная каманда для кожнага ўсталёўшчыка.
Ці працуе Coq на ARM (Windows on Arm)?
Зборкі ARM64 няма; Windows 11 on Arm можа запусціць версію 64-біт праз эмуляцыю.
Дзе спампаваць старыя версіі праграмы Coq?
На старонцы версій сабраны спасылкі на афіцыйныя ўсталёўшчыкі ўсіх версій (5), пачынаючы з 21 верасня 2021 г..