Informal Systems

Informal Systems

Verifiable distributed systems and organizations.

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