Creation of a Zulip chatroom

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 is meant to work as a forum, the Zulip chatroom 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. EDIT: not relevant anymore

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

2 Likes

theo, could you sent an invite?
tbrunner@uoregon.edu
thanks in advance,
-e

Hi! Sorry I’ve not updated this post. As of a few weeks ago, we’ve stopped transferring old Gitter accounts. You should now create a fresh account by yourself if you wish to join Zulip, even if you had a Gitter account previously.