About Us

invariant Continuum models protocols as state machines, proves safety and liveness properties, and generates executable code from verified specifications. Our proof assistants are used by blockchain developers and safety-critical engineers.