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”.)
Quellen | /macros/latex/contrib/lplfitch |
Dokumentation | |
Repository | https://github.com/rzach/lplfitch |
Version | 0.9 |
Lizenzen | The LaTeX Project Public License 1.3 |
Copyright | 2013 John Etchemendy, Dave Barker-Plummer, and Richard Zach |
Betreuer | Richard Zach |
Enthalten in | TeX Live als lplfitch MiKTeX als lplfitch |
Themen | Mathematik |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (228.7k).
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare