Stream: Announcements

Topic: Welcome to 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 .

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.

• #Constructive reals & analysis
• #coqbot devs & users
• #Dune devs & users
• #Hierarchy Builder devs & users
• #hs-to-coq devs & users
• #GitHub notifications (if you register to this one, we highly recommend you silence it as well)

Last updated: Oct 13 2024 at 01:02 UTC