2 points, 0 comments on Hacker News

Source: [Hacker News](https://www.wisdom.weizmann.ac.il/~oded/on-proofs-t2.html)

Sponsored