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.
| Sources | /macros/latex/contrib/fitch |
| Documentation | |
| Bug tracker | |
| Repository | |
| Version | 1.1 2026-09-12 |
| Licenses | The LaTeX Project Public License 1.3 |
| Copyright | 2002–2026 Peter Selinger, Richard Zach |
| Maintainer | Richard Zach |
| Contained in | TeX Live as fitch MiKTeX as fitch |
| Topics | Maths Logic Tagged PDF – incompatible Proof |
Download the contents of this package in one zip archive (296.2k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments