Ankündigungen für Fitch
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.
| Paket | Fitch |
| Version | 1.1 2026-09-12 |
| Copyright | 2002–2026 Peter Selinger, Richard Zach |
| Betreuer | Richard Zach |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket fitch.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket fitch.