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
- Upstream: http://tug.org/texlive/
- License(s): LPPL 1.3
- Maintainers: jnovy, spot, than
Related Packages
You can contact the maintainers of this package via email at
texlive dash maintainers at fedoraproject dot org.
Sources on Pagure