No, they should be written in comprehensible and elegant prose that is as short ...

		13415 on Jan 12, 2022 \| parent \| context \| favorite \| on: Should proofs include a third “context” column? 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.