fitch – LaTeX macros for Fitch-style natural deduction
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.
|The LaTeX Project Public License 1.3
|2002–2023 Peter Selinger
|TeX Live as fitch
MiKTeX as fitch
Download the contents of this package in one zip archive (290.3k).
Maybe you are interested in the following packages as well.
- proof-at-the-end: A package to move proofs to appendix
- prftree: Macros for building proof trees
- ebproof: Formal proofs in the style of sequent calculus
- natded: Typeset natural deduction proofs