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

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