The tutor in the drop-in ¡­

The tutor in the drop-in group has compiled a short set of notes describing different strategies of proof relevant to this course. You can find these notes by following the link.