The Coq mailing list

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

Hi again,

For what is worth, at the current time we have 70 registered users on
the Discourse forum (stats are there:
https://coq.discourse.group/about). This includes many experts /
senior users. This is not yet reflected in the posted content but this
is normal, content does take time to create.

Anyway, do not be afraid to not get answers if you ask your questions there.

Cheers,
Théo

Le mar. 12 févr. 2019 à 16:46, Théo Zimmermann 
<theo.zimmi AT gmail.com>
 a écrit :
>
> 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