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