Search OCaml packages
Standard Library API
Learn
Tools
Packages
Community
News
Play
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
package
coq
latest (9.1.0)
9.1.0
9.0.1
9.0.0
8.20.1
8.20.0
8.19.2
8.19.1
8.19.0
8.18.0
8.17.1
8.17.0
8.16.1
8.16.0
8.15.2
8.15.1
8.15.0
8.14.1
8.14.0
8.13.2
8.13.1
8.13.0
8.12.2
8.12.1
8.12.0
8.11.2
8.11.1
8.11.0
8.10.2
8.10.1
8.10.0
8.9.1
8.9.0
8.8.2
8.8.1
8.8.0
8.7.2
8.7.1+2
8.7.1+1
8.7.1
8.7.0
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
Compatibility metapackage for Coq after the Rocq renaming
Install
dune-project
Dependency
rocq-prover.org
Edit opam file
Versions (40)
Authors
T
The Rocq development team, INRIA, CNRS, and contributors
Maintainers
T
The Rocq development team <rocq+rocq-development@discoursemail.com>
doc/index.html
coq