The repository for the development versions of Coq. Use it at your own risks.
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
If you want to add your Coq version, please do a pull-request to this repository.
Files
Failed to load latest commit information.