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 Coq community…

Write to coq+miscellaneous@discoursemail.com to start a new topic in this category via e-mail.

Topic		Replies	Views
Welcome to Discourse Announcements	1	1209	February 10, 2019
Should other languages than English be allowed on the Discourse forum? Miscellaneous	46	4454	September 12, 2019
About the Developing plugins category Developing plugins	1	678	February 12, 2019
Some advice on how to subscribe to the activity on Discourse Announcements	3	1337	July 21, 2020
Creation of a Zulip chatroom Announcements	3	2527	September 10, 2021