Proofs 101 (An Introduction to Formal Mathematics)