package coq-itree
Library for representing recursive and impure programs with equational reasoning
Install
Dune Dependency
Authors
Maintainers
Sources
5.2.1.tar.gz
sha512=8027de84ad96c89887051e2df4d8e68cac87389d353936a5f56f4910277d2e78fdd3447d8ce6b0704ecda8880692392cf9331f529de516d0e7ee6918aea3f8a5
Description
Dependencies (4)
-
coq-paco
>= "4.2.1" -
coq-ext-lib
>= "0.11.1" -
coq
>= "8.14" -
dune
>= "3.14"
Dev Dependencies
None
Used by (6)
- coq-ctree
- coq-itree-extra
- coq-itree-io
-
coq-vellvm
>= "v2.0.20250110" -
coq-wasm
< "2.0.1" - rocq-vellvm
Conflicts
None
On This Page