Sign up for Zulip

alethe
https://alethe.zulipchat.com

Discussions about the Alethe proof format and related tools.

You need an invitation to join this organization.
OR