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