gjm comments on [Math] Towards Proof Writing as a Skill In Itself