package coq-library-undecidability
A Coq Library of Undecidability Proofs
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1+8.17.tar.gz
sha256=7a17e6a5e9c016f660b7074b42524aaa9656288bea3c1a3b7e7af303d4375472
Description
Published: 27 Apr 2023
Dependencies (3)
-
coq-metacoq-template
>= "1.2+8.17" - ocaml
-
coq
= "8.17.0"
Dev Dependencies
None
Used by (1)
-
coq-library-fol
< "1.0+8.18"
Conflicts
None
On This Page