Geeks
krobelus
/
rate
DRAT/DPR proof checker
Primary Language
Rust
MIT License
MIT
rate GitHub
Markdown
Readme
5
Issues
9
Stargazers
3
Watchers
Stargazers
c-cube
Imandra (@imandra-ai)
Gary-oak-Star
jix
Leipzig
marijnheule
Carnegie Mellon University
mFrankowicz
Brazil
raha96
rrika
togatoga
Tokyo
xynxynxyn