package coq-library-complexity
A Coq Library of Complexity Theory
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0+8.16.tar.gz
sha256=f07ca356e7b3ebb03ac6ccc07a3e389dab293ec01b1994027597998859f97306
Description
Published: 09 Nov 2022
Dependencies (2)
-
coq-library-undecidability
= "1.0.1+8.16" -
coq
>= "8.16" & < "8.17"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page