Peter Selinger's LaTeX macros for Fitch style natural deduction - View it on GitHub