Proof template for LaTeX September 7, 2018Readings and Class NotesKenneth Lai For those of you who want to write your proofs in LaTeX, a template you can use is now available here. It requires the logicproof package (.sty file included, source files also available here).