github.com/coq/opam-coq-archive
Coalgebras, bisimulation and lambda-coiteration
opam install coq-coalgebras.8.10.0