测试和安装 Coq

测试无需安装

对于希望开始测试 Coq 而不在其机器上安装 Coq 的新用户，有一个名为 JsCoq 的在线 IDE （ 此处为演示文稿 ）。包子窗口允许测试各种众所周知的附加包。

安装

该下载页面包含适用于 Windows 和 MacOS 的安装程序。

通常建议使用 Linux 的用户使用 opam 从源代码编译，以获得最新版本。这里给出了有关如何操作的基本说明。