mirror of
https://git.sr.ht/~sircmpwn/mkproof
synced 2026-03-13 02:58:20 +01:00
This makes it easier to detect if the input proof is valid or if there was another error (eg: badly formatted challenge, etc) |
||
|---|---|---|
| .. | ||
| checkproof.scd | ||
| mkchallenge.scd | ||
| mkproof.scd | ||