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

所需积分/C币:9 2021-02-03 13:08:27 127KB ZIP
8
收藏 收藏
举报

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 要改为手动构建和安装,请执行以下操作: git clone --recurse-submodules https://github.com/coq-community/coq-ext-lib.git cd coq-ext-lib make theories # or make -j theories make install 主意 拥抱新功能,例如宇宙多态性,原始投影

...展开详情
立即下载 低至0.43元/次 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
coq-ext-lib:Coq定义,定理和策略的库。 [maintainers = @ gmalecha,@ liyishuai]-源码 9积分/C币 立即下载
1/0