Cheatsheet for Proofs and Problem Solving at The University of Edinburgh - View it on GitHub