Stream: Announcements

Topic: Welcome to Zulip

view this post on Zulip Cyril Cohen (May 08 2020 at 12:12):

Welcome to the coq zulip chat. First, manage your subscriptions at
Please pick the relevant stream and topic for your discussion.
You can also edit your message, but please reserve this feature for formatting/typographic fixes.
The admins of are @Cyril Cohen and @Théo Zimmermann .

view this post on Zulip Cyril Cohen (Jun 12 2020 at 12:15):

@all The following streams have been added since the creation of the chatroom. You may want to check them out or register.

Last updated: Feb 22 2024 at 04:02 UTC