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