How to write proofs: a quick guide [pdf]cheng.staff.shef.ac.uk3 points·jingwen··0 commentsOpen articleSaveView on HN