測試和安裝 Coq

測試無需安裝

對於希望開始測試 Coq 而不在其機器上安裝 Coq 的新使用者，有一個名為 JsCoq 的線上 IDE （ 此處為簡報 ）。包子視窗允許測試各種眾所周知的附加包。

安裝

該下載頁面包含適用於 Windows 和 MacOS 的安裝程式。

通常建議使用 Linux 的使用者使用 opam 從原始碼編譯，以獲得最新版本。這裡給出了有關如何操作的基本說明。