Informal Systems

由合作拥有与管理的分布式组织所组成的开源生态 Informal Systems 简介 Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Coos 协议正式验证，并以 Rust 语言实现。