The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Hi Coq-Club!

Following user demand, and with the help of the Discourse company
which offers the hosting, the Coq development team has set up a
Discourse forum:

https://coq.discourse.group/

Please go there and register!

Discourse is a "modern" forum software which is used by more and more
communities, including in particular the OCaml community
(https://discuss.ocaml.org/). It has a number of advantages over a
mailing list, including better archiving / search functionalities,
topic muting, @-mentions, likes, selected answers, and so on. It also
has a mailing list mode for those who like to manage everything from
their mailbox.

We are not advertising the forum on the Coq website yet because it
needs content before we do so. So we are first asking you to go to the
forum and register (and if you have things you want to discuss, open
new topics or reply to existing ones).

For the record, even if we expect that some traffic will move from
Coq-Club to the Discourse forum, there is no intention to remove the
mailing list in the short or medium term.

The Coq development team