GitHub repository: o1-labs/proof-systems
Primary language: Rust
Description: The proof systems used by Mina