package coq
Compatibility metapackage for Coq after the Rocq renaming
Install
Dune Dependency
Authors
Maintainers
Description
Published: 20 Mar 2025
Dependencies (5)
-
coqide-server
= version -
coq-stdlib
= "9.0.0" -
coq-core
= version -
rocq-prover
= version -
dune
>= "3.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page