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

Should proofs include a third “context” column?
12 by abrax3141 | 6 comments on Hacker News.