文件名称：template-proofs:PLDI'20纸的伪像
文件大小：93KB
文件格式：ZIP
更新时间：2024-04-04 05:10:59
Coq
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 满足所有OCaml和Coq相关要求的最简单方法是安装OCaml软件包管理器OPAM，然后执行以下命令 opam switch 4.07.1 opam install -y ocamlfind opam install -y ocamlbuild opam install -y coq opam install -y co