Hacker News new | ask | show | jobs
by keyvank 545 days ago
nice job! now it's time for the prover part :)