We do more of these proofs in class, using the proof checking tool,

as well as just working in an editor and uploading.

Please see the schedule page for uploaded examples.

Updated: