We’re a small, focused community for Cardano visionaries, crypto-anarchists, and all formal verification enthusiasts.