Sign up for Zulip

formal smart contract
https://formal-blockchain.zulipchat.com

The coolest place in the universe.

You need an invitation to join this organization.
OR