package coq-coinduction
Compatibility package for rocq-coinduction
Install
Dune Dependency
Authors
Maintainers
Sources
v1.21.tar.gz
sha512=00364c5dfe833c732bf4d9facdd2a666bf2d77233f97a4dca37dfceb70aeddd69eaad2f05f1eb8b4b65dba30d4c37c39da9e8a40be9ee1cf72696a37234b6d50
Description
Published: 19 Sep 2025
Dependencies (2)
-
rocq-coinduction
= version - coq-core
Dev Dependencies
None
Used by (1)
-
coq-coinduction-examples
>= "1.7"
Conflicts
None
On This Page