The Coq Proof Assistant

The objective of the Consortium is to make the community of users feel empowered with respect to the future of the Coq system, giving them opportunities to see how the system will evolve, where it is going, and to take an active part in this process. On the one hand, we wish to establish transparent ways of contributing financially and technically to the development of the system; on the other hand we wish to make sure that the most pressing needs of the user community are addressed efficiently by providing a fantastic working environment to competent developers.

The Coq Consortium is hosted by the Inria Foundation, a non-profit organization associated to Inria providing engineering resources for the development of software created in research teams.

Help the Coq community grow and prosper by becoming a sponsor! We are looking for partners who want to show their support to Coq and its community. To establish a sponsorship contract with the Inria Foundation, please contact Maxime Dénès.

If you wish to financially support the development of Coq and its community, you can make a donation to the Inria Foundation. Please contact Maxime Dénès.

Academic users can become members of the Consortium by subscribing a package of support services:

• Premium support for bugs. Reports by Consortium members will be processed in priority by the Consortium engineers.
• A session of on-site training each year. (Optional, travel and lodging expenses should be paid by the member).
• Integration of some code from members in regression tests.
• Privileged access to Coq developers via a dedicated mailing list.
• Advertisement of the member’s involvement in the Coq community.

Partners declare a number of intensive users of Coq they represent, and the Consortium recommends a corresponding level of service (a number of engineer hours, which can be used for support or training). The cost corresponds to that specific level of service.

Our academic partners are currently:

• Andrew Appel (Princeton University)
• Adam Chlipala (MIT)
• Derek Dreyer (Max Planck Institute for Software Systems)
• Benjamin C. Pierce (University of Pennsylvania)
• Zhong Shao (Yale University)
• Viktor Vafeiadis (Max Planck Institute for Software Systems)