Use this category for any question or discussion related to the development of the Rocq Prover.
This is the place to ask about how to contribute, to advertise RFCs, etc. Reporting bugs should be done on the bug tracker.
Write to rocq+rocq-development@discoursemail.com to start a new topic in this category via e-mail.