Coq Platform

OpenNavo編集部Homebrewへの登録 2025年3月31日 08:23

プラットフォームにVsCoq言語サーバーが含まれ、VSCoqから直接接続できます。Snapはサポート対象外となり、インストーラーやパッケージに関する注意点も記載されています。

言語サーバー

プラットフォームにVsCoq言語サーバーを同梱。VSCoqはバイナリーインストーラー付属のサーバーに接続可能。Windowsではソースからビルドしたサーバーにも接続可能。

バージョン

推奨：Coq 8.20.1と2025年1月のパッケージコレクション。互換バージョンとしてCoq 8.19.2からCoq 8.12.2までを掲載。

注意事項

Snapはサポート対象外。代替手段を開発中です。macOS Intelインストーラーには問題があり、ソースビルドを推奨。QuickChickにはOCamlが必要ですが、macOSとWindowsのバイナリーインストーラーにはありません。