package coq-library-undecidability
A Coq Library of Undecidability Proofs
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.1+8.16.tar.gz
sha256=96febb4482b41810782dca089144b1bffcb91ab1975dc9e312efacf3bf2e4371
Description
Published: 09 Nov 2022
Dependencies (4)
-
coq-metacoq-template
>= "1.1+8.16"
-
coq-smpl
>= "8.16"
- ocaml
-
coq
>= "8.16.0" & < "8.17"
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page