Sign up for Zulip

Isabelle

https://isabelle.zulipchat.com

A cool place for beginners and experts alike playing with mathematics and algorithms in the Isabelle theorem prover!

You need an invitation to join this organization.