GitHub repository: krobelus/rate
Primary language: Rust
Created: 2018-11-29T20:41:57Z
Description: DRAT/DPR proof checker