coq-ext-lib 可能对其他Coq开发有用的理论和插件的集合。 元 作者： 格雷戈里·马莱查（初始） 常见问题解答社区维护者： 格雷戈里·马莱查（ ） 李一（ ） 许可证： 兼容的Coq版本：Coq 8.8或更高版本 其他依赖项：无 Coq命名空间： ExtLib 相关出版物：无 建造和安装说明 安装最新版本的coq-ext-lib的最简单方法是通过 ： opam repo add coq-released https://coq.inria.fr/opam/releas