測試和安裝 Coq

測試無需安裝

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

安裝

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

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