github.com/coq/opam-coq-archive
Relation Algebra and KAT in Coq
opam install coq-relation-algebra.1.7.1