Informal Systems

Informal Systems

Verifiable distributed systems and organizations.

informal.systems
Share

Informal Systems Introduction

Informal Systems, Verifiable distributed systems (of machines) and organizations (of humans). Focused on formally verifying Cosmos protocols and implementing them in Rust Language. We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

Informal Systems Team

Ismail Khoffi

Informal Systems Portfolio