package coq-library-undecidability
A Coq Library of Undecidability Proofs
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.2+8.20.tar.gz
sha256=38566d822f97f65d284aca8913d19ba1e7943fdd998ba8e50466baf8c8f07d1a
Description
Published: 30 Sep 2024
Dependencies (2)
-
coq-metacoq-template
= "1.3.2+8.20" -
coq
>= "8.20" & < "8.21~"
Dev Dependencies
None
Used by (1)
-
coq-library-fol
>= "1.0+8.20"
Conflicts
None
On This Page