#rate #certificate #proof #produced #verify #sick #incorrectness

app rate-sick-check

Verify SICK certificates of proof incorrectness produced by rate

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

MIT license

125KB
2.5K SLoC

rate-sick-check

Verify SICK certificates of proof incorrectness produced by rate

Dependencies

~9.5MB
~163K SLoC