Questions and discussion

Get in touch with the user community and ask questions about Coq on our Discourse forum. Posts in other languages than English are explicitly welcome there. There is also a historic mailing list called the Coq-Club which has lots of subscribers.

In addition, you may also ask questions about Coq on Stack Overflow (use the tag coq) or on the meta-theory of Coq on the TCS Stack Exchange (which also has a coq tag).

You can reach the Coq development team through the development category of the above mentioned Discourse forum, the Gitter channel, and of course the bug tracker.

Package ecosystem

The Coq user community has contributed a large ecosystem of formalization works and plugins throughout the years. An index of packages can be browsed online. Installing them can be done using the opam package manager. Some of these packages are also bundled in the Windows installer.

Users are encouraged to submit their packages to the index. They are also encouraged to add their projects to Coq's Continuous Integration. In particular, for authors of projects that link to Coq's ML API (a.k.a. plugins), this can be really useful as it allows getting updates from the development team when the (unstable) ML API receives breaking changes.

The user community has also built tools around the Coq system and contributed a lot of documentation. Visit the pages dedicated to related tools and documentation.

An informal organization of users, called coq-community, exists to ensure the long term maintenance of Coq packages, and favor other collaborative projects such as documentation writing. It is always looking for new volunteers.


Coq developers and interested users gather every month through visio-conference for Working Groups. You are welcome to attend!

The Coq development team organizes a one-week-long Implementors Workshop every year in France. The goal is to help users become contributors by guiding them and answering their questions.

Other Coq workshops and schools:

Coq Meetups: