GitHub repository: syther-labs/galois
Primary language: Rust
Description: Fusotao proving client.