CTAN Comprehensive TeX Archive Network

lplfitch – Fitch-style natural deduction proofs

The package provides macros for typesetting natural deduction proofs in “Fitch” style, with subproofs indented and offset by scope lines.

The proofs from use of the package are in the format used in the textbook “Language, Proof, and Logic” by Dave Barker-Plummer, Jon Barwise, and John Etchemendy. (In fact, the prefix “lpl” in the package name stands for “Language, Proof, and Logic”.)

Sources/macros/latex/contrib/lplfitch
Documentation
Repositoryhttps://github.com/rzach/lplfitch
Version0.9
LicensesThe Project Public License 1.3
Copyright2013 John Etchemendy, Dave Barker-Plummer, and Richard Zach
MaintainerRichard Zach
Contained inTeX Live as lplfitch
MiKTeX as lplfitch
TopicsMaths

Download the contents of this package in one zip archive (228.7k).

Community Comments

Loading...

Package Links

Guest Book Sitemap Contact Contact Author