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.0 2023-12-17 |
| Copyright | 2002–2023 Peter Selinger |
| 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.