The Coq mailing list

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

Dear Coq community,

We are happy to announce the opening of https://coq.zulipchat.com a chatroom with which we intend to replace our use of Gitter[*].

Together with https://coq.discourse.group, this will become one of the main tools to communicate with each other about Coq and related projects (e.g. coq-community projects, mathematical components, etc). While the [Discourse](https://coq.discourse.group) is meant to work as a forum, the [Zulip chatroom](https://coq.zulipchat.com) is meant to work as a chat/IRC, with messages written in a more casual way and a possibly higher traffic, although Zulip offers the way to sort messages by topics and thus being selective about what one wants to follow, cf. https://zulipchat.com/why-zulip/. We hope that between these two tools we find more opportunities to communicate in the way that each of us is most comfortable with.

[*] If you had a Gitter account and posted at least one message in one of the Coq related channels, there is a high chance that we automatically ported your account, please send a private message to @CohenCyril, on Gitter, with you email address, **so do not register on Zulip on your own**.

Cyril Cohen and Théo Zimmermann (for the whole Coq team)