Fedora Packages

texlive-lplfitch Subpackage of texlive

Fitch-style natural deduction proofs

The package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.

Releases Overview

Release Stable Testing
Fedora Rawhide svn31077.0.9-48.fc36 -
Fedora 35 svn31077.0.9-45.fc35 -
Fedora 34 svn31077.0.9-38.fc34 -
Package Info
Related Packages

You can contact the maintainers of this package via email at texlive dash maintainers at fedoraproject dot org.



Sources on Pagure