package coq-library-fol
A Coq Library for First-Order Logic
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0+8.20.tar.gz
sha256=cf2483bddd39a67d1bada82bc08a3ee3ba90ebdcd53e1c7577e848ac0f623e87
Description
Published: 06 Feb 2025
Dependencies (2)
-
coq-library-undecidability
= "1.1.2+8.20"
-
coq
>= "8.20" & < "9.0~"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page