Sign up for Zulip

The Rocq Prover
https://rocq-prover.zulipchat.com

This Zulip organization hosts streams for discussing any Rocq-related project.

You need an invitation to join this organization.
OR