Public Notes on
View Public Collections
What is a proof, really? | Hacker News news.ycombinator.com
scott