Sign up for Zulip

Lean
https://leanprover.zulipchat.com

Community chat about the Lean interactive theorem prover (https://leanprover.github.io/)

You need an invitation to join this organization.
OR