Sign up for Zulip

Isabelle
https://isabelle.zulipchat.com

Discussion platform for the Isabelle theorem prover. Beginners and experts welcome!

You need an invitation to join this organization.
OR