New top story on Hacker News: Should proofs include a third “context” column?

No comments