They are a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. They are a core contributor to the Cosmos Network and work on bold problems at the intersection of formal verification a...