coq ext lib:Coq定义定理和策略的库。 [maintainers = @ gmalecha@ liyishuai] 源码

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