texlive-lplfitch Subpackage of texlive-collection-mathscience
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. (In fact, the prefix "lpl" in the package name stands for "Language, Proof, and Logic".)
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | svn75712-1.fc45 | - |
| Fedora 44 | svn75712-1.fc44 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: http://tug.org/texlive/
- License(s): LPPL-1.3c
- Maintainer: spot
Related Packages
- texlive-collection-mathscience
- texlive-12many
- texlive-accents
- texlive-aiplans
- texlive-alg
- View More »
You can contact the maintainers of this package via email at
texlive-collection-mathscience dash maintainers at fedoraproject dot org.
Sources on Pagure