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

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