Announcements for 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.

Package	fitch
Version	1.0 2023-12-17
Copyright	2002–2023 Peter Selinger
Maintainer	Richard Zach

Atom Atom 1.0 feed with announcements for package fitch.
RSS RSS 2.0 feed with announcements for package fitch.