有前途的Coq开发，旨在实现宽松内存并发的语义，即promising-coq

宽松内存并发的有前途的语义 Jeehoon Kang，Hung-Kil Hur，Ori Lahav，Viktor Vafeiadis，Derek Dreyer。 第44届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（ ）。 请访问以获取更多信息。 建造 要求： ，opam，Make，Rsync。 使用opam安装依赖项 opam repo add coq-released https://coq.inria.fr/opam/released opam remote add coq-promising -k git https://github.com/snu-sf/promising-opam-coq-archive opam install coq-paco.2.0.3 opam install coq-sflib opam install