github.com/coq/opam-coq-archive
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq
opam install coq-chapar.8.12.0