Coq 提供了Linux、Windows和MacOS 在内的多系统安装。 虽然 Coq 官网提供了多中安装方式，我们更推荐使用 opam 方式安装（OCaml 包管理器）。接下来我们将演示如何在不同系统下 使用opam 安装 Coq。 读者亦可访问https://coq.inria.fr/download 选择自己喜欢的安装方式。