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 https://coq.zulipchat.com/#streams/subscribed
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 coq.zulipchat.com 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 06 2023 at 05:03 UTC