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 | https://github.com/OpenLogicProject/fitch/issues/ |
| Repository | https://github.com/OpenLogicProject/fitch/ |
| Version | 1.0 2023-12-17 |
| Licenses | The LaTeX Project Public License 1.3 |
| Copyright | 2002–2023 Peter Selinger |
| Maintainer | Richard Zach |
| Contained in | TeX Live as fitch MiKTeX as fitch |
| Topics | Proof Maths Logic |
Download the contents of this package in one zip archive (290.3k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments