About the Miscellaneous category

Zimmi48 · February 10, 2019, 9:59pm

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 to start a new topic in this category via e-mail.

Topic		Replies	Views
Welcome to Discourse Announcements	1	1296	February 10, 2019
Should other languages than English be allowed on the Discourse forum? Miscellaneous	46	4943	September 12, 2019
About the Learning category Using Rocq	1	1183	February 12, 2019
About the Developing plugins category Developing plugins	1	754	February 12, 2019
About the Announcements category Announcements	1	857	February 12, 2019