package coq-library-undecidability
A Coq Library of Undecidability Proofs
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0+8.12.tar.gz
sha256=1589073778d8a06f07bcc1a176b991d483ef1eca5c490d20f782fcbf97d06ca5
Description
Published: 24 Nov 2020
Dependencies (6)
-
coq-metacoq-checker
= "1.0~beta1+8.12" -
coq-metacoq-template
= "1.0~beta1+8.12" -
coq-smpl
= "8.12" - ocaml
-
coq-equations
= "1.2.3+8.12" -
coq
>= "8.12" & < "8.13~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page