package coq-paco
Coq library implementing parameterized coinduction
Install
Dune Dependency
Authors
Maintainers
Sources
v4.2.3.tar.gz
sha512=b757a24b732e0fdbcc08979d99e9fca9b91d4b53ed9fff56e1dd1ef4fd3f45688d9e1cf67356102fd01303120b4f68460a815582122b5ea9ece12ff86048fbab
Description
Tags
date:2025-01-30 category:Computer Science/Programming Languages/Formal Definitions and Theory category:Mathematics/Logic keyword:co-induction keyword:simulation keyword:parameterized greatest fixed point logpath:PacoPublished: 31 Jan 2025
Dependencies (1)
-
coq
>= "8.13" & < "9.1~"
Dev Dependencies
None
Used by (3)
-
coq-itree
>= "5.1.1" -
coq-itree-extra
< "5.2.0" - coq-vellvm
Conflicts
None
On This Page