Sign up for Zulip

sneeuwbal
https://sneeuwbal.zulipchat.com

All things around automat{ic,ed} theorem proving.

You need an invitation to join this organization.
OR