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.
Write to coq+coq-development@discoursemail.com to start a new topic in this category via e-mail.