Hacker News new | ask | show | jobs
Quickly Checkable Proofs (thevivekpandey.github.io)
1 points by thevivekpandey 1510 days ago