Informal Systems logo

Informal Systems

Verifiable distributed systems (of machines) and organizations (of humans)