Sign up for Zulip

Metamath

https://metamath.zulipchat.com

Metamath is a computer language and associated computer programs for archiving, verifying, and studying mathematical proofs.

You need an invitation to join this organization.