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 | |
| Repository | |
| Version | 1.1 2026-09-12 |
| Lizenzen | The LaTeX Project Public License 1.3 |
| Copyright | 2002–2026 Peter Selinger, Richard Zach |
| Betreuer | Richard Zach |
| Enthalten in | TeX Live als fitch MiKTeX als fitch |
| Themen | Logik Mathematik Proof Tagged PDF – kompatibel mit Einschränkungen |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (296.2k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare