View coq-community on GitHub


coq-community is a project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Coq proof assistant. The organization is run by volunteer Coq users. Everyone is welcome - you don’t need to be a very experienced Coq user to participate. See the contributing guide for more information on how to get involved.

Project Hosting

Repositories for Coq-related projects can be hosted in the coq-community organization on GitHub whenever any of the following is the case:

Once a project has joined coq-community, community members collaborate to ensure:

More details can be found in the coq-community manifesto, in particular on the process for proposing a new package.


Current Projects

Below is a categorized list of active projects currently hosted in coq-community. A star indicates that the project is recommended for (re)use, while a warning sign ⚠️ indicates that the project is experimental or for other reasons not currently recommended for (re)use.


Documentation and Tutorials





Type Theory and Mathematics

Verified Software