Comprehensive TeX Archive Network

lplfitch – Fitch-style natural deduction proofs

The pack­age pro­vides macros for type­set­ting nat­u­ral de­duc­tion proofs in “Fitch” style, with sub­proofs in­dented and off­set by scope lines.

The proofs from use of the pack­age are in the for­mat used in the text­book Lan­guage, Proof, and Logic by Dave Barker-Plum­mer, Jon Bar­wise, and John Etchemendy.

Home pagehttps://github.com/rzach/lplfitch
Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerRichard Zach
Con­tained inTeX Live as lplfitch
MiKTeX as lplfitch
Topics sup­port for type­set­ting math­e­mat­ics

Down­load the con­tents of this pack­age in one zip archive (228.7k).

Guest Book Sitemap Contact Contact Author