Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

19 lines (12 sloc) 0.674 kb

Coq Repository

The repository for stable Coq packages. Powered by OPAM.


Enable this repository:

opam repo add coq-stable

To install a package:

opam search coq:that-package
opam install coq:that-package


If you want to add your package, please do a pull-request to this repository. Read this tutorial to get an example.


The central place for benchmarks is Coq bench. We test different versions of Coq and machine configurations, and update the results as often as possible.

Jump to Line
Something went wrong with that request. Please try again.