Sign up for Zulip

Coq

https://coq.zulipchat.com

This Zulip organization hosts streams for discussing any Coq related project. The public streams are continuously archived on https://coq.gitlab.io/zulip-archive/.

You need an invitation to join this organization.