# About the Developing plugins category

**URL:** <https://discourse.rocq-prover.org/t/about-the-developing-plugins-category/13>\
**Category:** Developing plugins\
**Created:** [February 10, 2019, 9:47pm UTC](https://discourse.rocq-prover.org/t/about-the-developing-plugins-category/13 "2019-02-10T21:47:06Z")\
**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-plugins-category/13/1 "2019-02-10T21:47:06Z")

</div>

Ask questions and share experience and best practices about the development of Rocq plugins.

Write to [rocq+plugin-development@discoursemail.com](mailto:rocq+plugin-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-plugins-category/13/2 "2019-02-12T08:17:02Z")

</div>

Closed on February 12, 2019, 8:17am UTC