使用 Nix 安装

警告： 这不是安装 Coq 的标准方法。

对于 Linux（和 MacOS）的用户，他们希望获得对 Coq 的最新版本的访问权限，或者能够在同一台机器上使用多个版本的 Coq，而无需使用 opam，也无需编译来源，这是一种替代解决方案。

Nix 是 Unix 类型操作系统（如 Linux 和 MacOS）的软件包管理器。它带有自己的软件包集合，通常比 Debian 或 Ubuntu 更新。它与你的发行版的包管理器不冲突，因为它不会在/usr/bin 等中安装任何东西。

首先，你需要安装 Nix ：

$ curl https://nixos.org/nix/install | sh

要确保设置必要的环境变量，请再次登录，或键入：

. $HOME/.nix-profile/etc/profile.d/nix.sh

然后以下命令将安装最新版本的 Coq：

$ nix-env -iA nixpkgs.coq_8_6

你也可以在不向 PATH 添加任何内容的情况下运行 CoqIDE：

$ nix-shell -p coq_8_6 --run coqide

同样（假设你已经安装了 Emacs 和 Proof-General）：

$ nix-shell -p coq_8_6 --run emacs

这对于在需要时运行不同版本非常有用。例如，要运行 Coq 8.5，请使用以下命令：

$ nix-shell -p coq_8_5 --run coqide