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-71.fc40 | - |
| Fedora 40 | svn31077.0.9-71.fc40 | - |
| Fedora 39 | svn31077.0.9-69.fc39 | - |
| Fedora 38 | svn31077.0.9-65.fc38 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: http://tug.org/texlive/
- License(s): LPPL-1.3c
- Maintainers: spot, jnovy, than
Related Packages
You can contact the maintainers of this package via email at
texlive dash maintainers at fedoraproject dot org.
Sources on Pagure