注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. template-proofs:PLDI'20纸的伪像-源码

  2. PLDI'20纸的工件：验证并发搜索结构模板 入门指南 该工件具有以下外部依赖性 OCaml版本4.07.1 OCaml Findlib版本1.8.1 ocamlbuild版本0.14.0 Coq版本8.11 Coq stdpp，版本coq-stdpp.dev.2020-03-18.1.846deb08 虹膜，版本coq-iris.dev.2020-03-21.0.ed3b52f9 GRASShopper，版本pldi_2020。 Z3，版本> = 4.5 满足所有OCam

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：95232
    • 提供者：weixin_42113380