github.com/coq/opam-coq-archive
A Library for Representing Recursive and Impure Programs in Coq
opam install coq-itree.3.2.0