About the Announcements category (2)
Some advice on how to subscribe to the activity on Discourse (2)

By default, when you create an account on Discourse, you are set to receive summary e-mails every week and notification e-mails when someone replies to you. You can edit these settings in your personal preferences and fi…

Welcome to Discourse (2)
[CFP] The Coq Workshop 2019 (1)
A library of undecidable problems for Coq (1)