Informal Systems

Our mission is to foster trust in software and money, two systems the world increasingly depends on. We do this through Quint, a specification language for designing reliable distributed systems, and Cycles, a clearing protocol for real-world payments.

https://cycles.money/
https://quint.sh/