由合作拥有与管理的分布式组织所组成的开源生态
Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems
访问网站
手机查看
万物互链
Chain Of Everything
