Informal Systems

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 and high-value distributed infrastructure that powers the Cosmos Network, the Internet of Blockchains.