About the Developing the Coq system category

Use this category for any question or discussion related to the development of the Coq software.

This is the place to ask about how to contribute, to advertise CEPs, etc. Reporting bugs should be done on the bug tracker.