Sign up for Zulip

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

The coolest place in the universe.

You need an invitation to join this organization.
OR