package coq-library-undecidability
A Coq Library of Undecidability Proofs
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.1+8.18.tar.gz
sha256=7e9132cdca0b678287305f9be16ffab2ebb8aa474038daf7326def9cf47b0742
Description
Published: 02 Nov 2023
Dependencies (3)
-
coq-metacoq-template
= "1.2.1+8.18"
- ocaml
-
coq
>= "8.18" & < "8.19~"
Dev Dependencies
None
Used by (1)
-
coq-library-fol
= "1.0+8.18"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page