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は、The Coq Teamが公開しているオープンソースのWindows向けソフトです。開発言語はShellです。
インストールと動作環境
公式インストーラーは64ビット向けにEXE（NSIS）形式で用意されています。インストールには管理者権限が必要です。インストーラーは無人（サイレント）インストールに対応しています。
アップデートとバージョン履歴
最新版は2025.08.3で、2026年4月9日にリリースされました。2021年9月21日以降の5件のバージョンを掲載しており、それぞれ公式のインストーラーにリンクしています。更新は年に約1.1回のペースです。
人気と対応ファイル形式
GitHubで公開されているソースコード（rocq-prover/platform）のスター数は247です。
GitHubのプロジェクト説明: “Multi platform setup for Rocq, Rocq libraries and tools”
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- サイレントインストールの方法が公開されている
デメリット
- ネイティブのARM64版がない
- インストールに管理者権限が必要
まとめ: Coqは、オープンソースのWindowsソフトです。64ビットのPCで使えます。管理者は無人インストールで一括配布できます。
Coqのダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全5バージョン ›5年間で5バージョン・年に約1.1回
| バージョン | 日付 | サイズ | ファイル |
|---|---|---|---|
| 2025.08.3最新 | 2026年4月9日 | — | 64ビット EXE（NSIS） |
| 2025.08.2 | 2026年2月19日 | — | 64ビット EXE（NSIS） |
| 2025.1.0 | 2025年2月17日 | — | 64ビット EXE（NSIS） |
| 8.14.1 | 2022年1月28日 | — | CPU共通 EXE（NSIS） |
| 8.13.2 | 2021年9月21日 | — | CPU共通 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
- リリース日
- 2026年4月9日
- カタログ追加日
- 2021年9月21日
- 掲載バージョン数
- 5
- 年間更新回数
- 1.1
- GitHubスター
- 247
- GitHubフォーク
- 56
- 公式サイト
- github.com
- winget ID
- Coq.CoqPlatform
評価とレビュー
まだレビューはありません。最初の評価を投稿してください。
よくある質問
Coqは無料ですか？
はい。Coqはオープンソースのソフトです（CC0-1.0ライセンス）。
Coqのダウンロードは安全ですか？
ファイルはgithub.comから配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
Coqをwingetでインストールするには？
PowerShellかWindowsターミナルを開き、このページに記載のwingetコマンドを実行します。wingetは公式インストーラーをダウンロードし、実行前にSHA256ハッシュを検証します。
Coqはサイレントインストールできますか？
はい。サイレントインストールのページに、インストーラーごとのコマンドを掲載しています。
CoqはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
Coqの旧バージョンはどこでダウンロードできますか？
バージョン一覧のページに、2021年9月21日以降の全5件のバージョンを公式インストーラーへのリンク付きで掲載しています。