在本教程中，我们学习如何在 debian 9 上安装 coq。coq 是高阶逻辑（顶层和编译器）的证明助手
介绍
在本教程中我们学习如何安装 coq 在 Debian 9 上。
什么是 coq
Coq 是高阶逻辑的证明助手，它允许开发符合其形式规范的计算机程序。 它是使用 Objective Caml 和 Camlp5 开发的。 。 该软件包提供了 coqtop，Coq 的命令行界面。 。 coqide 包中提供了 Coq 的图形界面。 Coq 还可以与 ProofGeneral 一起使用，它允许使用 emacs 和 xemacs 编辑校样。 这需要安装proofgeneral 包。
有三种安装方式 coq 在 debian 9 上。我们可以使用 apt-get, apt 和 aptitude。 在以下部分中，我们将描述每种方法。 您可以选择其中之一。
使用 apt-get 安装 coq
更新 apt 数据库 apt-get 使用以下命令。
更新apt数据库后，我们可以安装 coq 使用 apt-get 通过运行以下命令：
sudo apt-get -y install coq
使用 apt 安装 coq
更新 apt 数据库 apt 使用以下命令。
更新apt数据库后，我们可以安装 coq 使用 apt 通过运行以下命令：
使用 aptitude 安装 coq
如果您想遵循此方法，您可能需要先安装 aptitude，因为 debian 上通常默认不安装 aptitude。 更新 apt 数据库 aptitude 使用以下命令。
更新apt数据库后，我们可以安装 coq 使用 aptitude 通过运行以下命令：
sudo aptitude -y install coq
如何在 debian 9 上卸载 coq
仅卸载 coq 打包我们可以使用以下命令：
卸载 coq 及其依赖项
卸载 coq 以及 debian 9 不再需要的依赖项，我们可以使用以下命令：
sudo apt-get -y autoremove coq
删除 coq 配置和数据
去除 coq 来自 debian 9 的配置和数据我们可以使用以下命令：
sudo apt-get -y purge coq
删除 coq 配置、数据及其所有依赖项
我们可以使用下面的命令来删除 coq 配置、数据及其所有依赖项，我们可以使用以下命令：
sudo apt-get -y autoremove --purge coq
参考
概括
在本教程中我们学习如何安装 coq 在 debian 9 上使用不同的包管理工具，如 apt、apt-get 和 aptitude。
