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