LaTeX Styles for Fitch
If you’re studying logic at UVM, and if you’re interested in creating Fitch-style proofs in LaTex, and if you want them to look like the proofs that are presented in Language, Proof, and Logic (2011; Barker-Plummer, Barwise, and Etchemendy; CSLI Publications, Stanford, CA), then this fork of Peter Selinger’s LaTeX macros for Fitch style natural deduction is for you!
Selinger is Professor of Mathematics at Dalhousie University. His website is http://www.mathstat.dal.ca/~selinger I have only given his macros a tiny tweak.