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