github.com/coq/opam-coq-archive
A verification of the alternating bit protocol expressed in CBS
opam install coq-abp.8.10.0