Ask HN: Where to Read Proofs? | Hacker News Reader