Informal Systems

Informal Systems builds open-source tools and infrastructure for distributed systems, formal verification, and blockchain protocols. The team brings deep expertise in programming language theory, distributed computing, and formal methods. They develop Quint as a modern, accessible specification language alongside other projects in the Cosmos and blockchain ecosystems. Informal Systems actively contributes to open-source communities and advances the state of the art in protocol correctness and safety.