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.
| Quellen | /macros/latex/contrib/fitch |
| Dokumentation | |
| Fehlermeldungen | https://github.com/OpenLogicProject/fitch/issues/ |
| Repository | https://github.com/OpenLogicProject/fitch/ |
| Version | 1.0 2023-12-17 |
| Lizenzen | The LaTeX Project Public License 1.3 |
| Copyright | 2002–2023 Peter Selinger |
| Betreuer | Richard Zach |
| Enthalten in | TeX Live als fitch MiKTeX als fitch |
| Themen | Mathematik Proof Logik |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (290.3k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare