GitHub repository: nikkolasg/recursive-bench
Primary language: Rust
Description: recursive benchmark for different proof systems