github.com/coq/opam-coq-archive
New Up-to Techniques for Weak Bisimulation
opam install coq-weak-up-to.8.10.0