~skeeto

https://nullprogram.com/

~skeeto/mkproof-fast

Faster mkproof