Informal Systems

非正式系統，（機器）的可驗證分佈式系統和組織（人類）。專注於正式驗證 Cosmos 協議並用 Rust 語言實現它們。 我們設想一個由合作所有和管理的分佈式組織組成的開源生態系統，這些組織運行在可靠的分佈式系統上。