# About the Miscellaneous category

**URL:** <https://discourse.rocq-prover.org/t/about-the-miscellaneous-category/17>\
**Category:** Miscellaneous\
**Created:** [February 10, 2019, 9:59pm UTC](https://discourse.rocq-prover.org/t/about-the-miscellaneous-category/17 "2019-02-10T21:59:35Z")\
**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:59pm UTC](https://discourse.rocq-prover.org/t/about-the-miscellaneous-category/17/1 "2019-02-10T21:59:35Z")

</div>

Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…

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

</div>

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