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	0.6 2023-09-04
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.