-
-
-
-
-
-
- +
- You
Our cooperatively owned and governed company is a growing team with world-class expertise in distributed systems, formal verification, and open-source ecosystem.
We publish regular newsletters on what we're working on at Informal Systems. Stay up to date, and stay in touch, by subscribing today!