Informal Systems

非正式系统，（机器）的可验证分布式系统和组织（人类）。专注于正式验证 Cosmos 协议并用 Rust 语言实现它们。

我们设想一个由合作所有和管理的分布式组织组成的开源生态系统，这些组织运行在可靠的分布式系统上。