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 Terminal и изпълнете командата за winget от тази страница. winget изтегля официалния инсталатор и преди стартиране проверява хеша му SHA256.
Може ли Coq да се инсталира в тих режим?
Да. Страницата за тиха инсталация дава точната команда за всеки инсталатор.
Работи ли Coq на ARM (Windows on Arm)?
Компилация за ARM64 няма; Windows 11 on Arm може да стартира версията за 64-битова чрез емулация.
Откъде да изтегля стари версии на Coq?
Страницата с версиите съдържа връзки към официалните инсталатори на всички версии (5) от 21 септември 2021 г. насам.