I’m a part of Ada.st, a focused community for Cardano visionaries, crypto-anarchists, and all formal verification enthusiasts.

Know what’s at stake @ Ada.st