Sign up for Zulip

Formalization Alliance
https://foralli.zulip.cs.aalto.fi

The coolest place in the universe.

You need an invitation to join this organization.