The repository for development packages. Use it at your own risks. Powered by OPAM.
Enable this repository:
opam repo add coq-unstable https://github.com/coq/repo-unstable.git
You might also want the stable 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.