辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义，可执行算法和定理，以及用于半交互式开发机器检查的证明的环境。 安装 请参阅 。 可以从找到有关如何从源代码进行构建和安装的信息。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息，尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 （Coq Wiki）和，以获取其他用户提供的文档。 master分支的文档一直在部署。 看： 变化 参考手册的“一章说明了每个新版本的

辅酶Q Coq是一个正式的证明管理系统。 它提供了一种正式的语言来编写数学定义，可执行算法和定理，以及用于半交互式开发机器检查的证明的环境。 安装 下载适用于Windows和macOS的的预构建软件包； 阅读有关如何使用Cop安装Coq的； 或参考文件以获取从源代码安装的过程。 文献资料 该文档的来源可以在目录找到。 请参阅以了解有关该文档的更多信息，尤其是如何构建它。 最新版本的文档可在Coq网站上网址为 。 另请参阅 （Coq Wiki）和 ，以获取其他用户提供的文档。 master分