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.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 | Proof Logik Mathematik Tagged PDF – nicht kompatibel |
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