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 г..