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 .
@all The following streams have been added since the creation of the chatroom. You may want to check them out or register.
Last updated: Jun 10 2023 at 06:31 UTC