News for hackers. Stuff that matters.

A comment on Should proofs include a third “context” column?.

Re:Should proofs include a third “context” column? by 13415 on Wednesday January 12, 2022 @02:01PM (#29911348)
No, they should be written in comprehensible and elegant prose that is as short as possible while allowing an informed reader to check each step.
[ Parent | on HN ]

There are no comments on this comment yet.