# About the Developing the Rocq Prover category

**URL:** https://discourse.rocq-prover.org/t/about-the-developing-the-rocq-prover-category/14
**Category:** Developing the Rocq Prover
**Created:** [February 10, 2019, 9:47pm UTC](https://discourse.rocq-prover.org/t/about-the-developing-the-rocq-prover-category/14 "2019-02-10T21:47:25Z")
**Posts on this page:** 2
**Page:** 1

<div class="post-metadata">

### Author: ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [February 10, 2019, 9:47pm UTC](https://discourse.rocq-prover.org/t/about-the-developing-the-rocq-prover-category/14/1 "2019-02-10T21:47:25Z")

</div>

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](https://github.com/coq/rfcs), etc. Reporting bugs should be done on the [bug tracker](https://github.com/coq/coq/issues).

Write to [rocq+rocq-development@discoursemail.com](mailto:rocq+rocq-development@discoursemail.com) to start a new topic in this category via e-mail.

---

<div class="post-metadata">

### Author: ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [February 12, 2019, 8:17am UTC](https://discourse.rocq-prover.org/t/about-the-developing-the-rocq-prover-category/14/2 "2019-02-12T08:17:13Z")

</div>