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-core
latest (9.0.0)
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
search
Overview
Docs
You can search for identifiers within the package.
in-package search v0.2.0
Package contains no libraries
Documentation
coq-core 9.0.0