package coq-library-fol
A Coq Library for First-Order Logic
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0+8.17.tar.gz
sha256=6e8921d46da6d6541b1d8cb1af979cb3de0446d1c9fe9bebd95cd2077b1402f6
Description
Published: 07 Nov 2023
Dependencies (2)
-
coq-library-undecidability
= "1.1+8.17" -
coq
>= "8.17" & < "8.18~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page