https://www.ma.imperial.ac.uk/~hmacbeth/
London, UK
Heather Macbeth
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
hrmacbeth
