Sign up for Zulip

Formosa Crypto
https://formosa-crypto.zulipchat.com

Anybody interested in high-assurance crypto using EasyCrypt, jasmin, and related tools.


You need an invitation to join this organization.
OR