5 unstable releases
0.3.0 | Jan 1, 2020 |
---|---|
0.2.3 | Oct 9, 2019 |
0.2.2 | Sep 30, 2019 |
0.2.1 | Sep 28, 2019 |
0.1.0 | Sep 19, 2019 |
#6 in #produced
125KB
2.5K
SLoC
rate-sick-check
Verify SICK certificates of proof incorrectness produced by rate
Dependencies
~11MB
~197K SLoC