github.com/coq/opam-coq-archive
Verification of an axiomatisation of the Alternating Bit Protocol
opam install coq-axiomatic-abp.8.10.0