GitHub repository: AluVM/sonic
Primary language: Rust
Created: 2024-11-20T11:20:39Z
Description: Toolchain for formally-verifiable distributed contracts