Informal Systems

Informal Systems

由合作拥有与管理的分布式组织所组成的开源生态。

Informal Systems 简介

Informal Systems 机器的可验证分布式系统,加上人类的自治组织。专注于 Cosmos 协议正式验证,并以 Rust 语言实现。