Log in to Zulip
Formosa Crypto
https://formosa-crypto.zulipchat.com
Anybody interested in high-assurance crypto using EasyCrypt, jasmin, and related tools.
Don't have an account yet? You need to be invited to join this organization.