rate-sick-check
| Crates.io | rate-sick-check |
| lib.rs | rate-sick-check |
| version | 0.3.0 |
| source | src |
| created_at | 2019-09-19 10:50:23.10723 |
| updated_at | 2020-01-01 09:39:27.597427 |
| description | Verify SICK certificates of proof incorrectness produced by rate |
| homepage | |
| repository | https://github.com/krobelus/rate |
| max_upload_size | |
| id | 165940 |
| size | 32,993 |
Johannes Altmanninger (krobelus)
documentation
README
rate-sick-check
Verify SICK certificates of proof incorrectness produced by rate