View coq-community on GitHub

About

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.

Project Hosting

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:

Read more in the coq-community manifesto.

Contact

Current Projects

Below is a categorized list of projects currently hosted in coq-community.

Automation

Documentation and Tutorials

Interfaces

Libraries

Plugins

Type Theory and Mathematics

Verified Software