The repository for stable Coq packages. Powered by OPAM.
Enable this repository:
opam repo add coq-stable https://github.com/coq/repo-stable.git
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.