About
Our mission is to bring verifiability to distributed systems and organizations. Distributed software systems are the foundation for many critical systems in our society; financial services, transport, healthcare, cloud services, and more. Building and maintaining them is difficult, expensive, and error-prone. We’re ap…