Log in to 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/.