Sign up for Zulip

Domino Prover
https://talk.domino-prover.org

Collaboration and support platform for the Domino prover.

You need an invitation to join this organization.
OR