package coq-ctree
Library for representing recursive, non-deterministic and impure programs with equational reasoning
Install
Dune Dependency
Authors
Maintainers
Sources
ctrees-2.0.tar.gz
sha512=546b64620926924e1d2f70177ee07547035d97358e081881955edd3d1a18b3730bf8bdf887d38f292ea36dbafcf191b83baa30d7e0d915d00bd07b841ab6c2f2
Description
Tags
category:CS/Semantics and Compilation/Semantics category:CS/Concurrency/Theory of concurrent systems keyword:simulation keyword:bisimilarity keyword:coinduction up-to keyword:process algebra keyword:cooperative multithreading logpath:CTreePublished: 29 Jul 2025
Dependencies (7)
-
coq-itree
>= "5.0" -
coq-equations
>= "1.2" -
coq-relation-algebra
>= "1.7.11" -
coq-coinduction
= "1.20" -
coq-ext-lib
>= "0.11.3" -
coq
>= "8.20" -
dune
>= "3.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page