coq-itree

A Library for Representing Recursive and Impure Programs in Coq

opam install coq-itree.3.2.0
homepage
https://github.com/DeepSpec/InteractionTrees
license
MIT
bugs tracker
https://github.com/DeepSpec/InteractionTrees/issues
dependencies
"coq" {>= "8.8" & < "8.13~"} "coq-ext-lib" {>= "0.11.1" & < "0.12"} "coq-paco" {>= "4.0.0" & < "4.1.0"} "ocamlbuild" {with-test}
source
https://github.com/DeepSpec/InteractionTrees/archive/3.2.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-itree/coq-itree.3.2.0