CTAN
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.

Sources /macros/latex/contrib/lplfitch
Doc­u­men­ta­tion
Home page https://github.com/rzach/lplfitch
Ver­sion 0.9
Li­cense The Project Public Li­cense 1.3
Main­tainer Richard Zach
Con­tained in TeX 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