Coq OPAMcoq-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