Sign up for Zulip

Coq
https://coq.zulipchat.com

This Zulip organization hosts streams for discussing any Coq related project.


You need an invitation to join this organization.
OR