Menu
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

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 pagehttps://github.com/rzach/lplfitch
Ver­sion0.9
Li­censeThe LaTeX Project Public Li­cense 1.3
Copy­right2013 John Etchemendy, Dave Barker-Plum­mer, and Richard Zach
Main­tainerRichard Zach
Con­tained inTeXlive 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 2014-04-23 13:36 CEST