Fedora Packages

texlive-natded Subpackage of texlive

Typeset natural deduction proofs

The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.

Releases Overview

Release Stable Testing
Fedora Rawhide svn32693.0.1-48.fc36 -
Fedora 35 svn32693.0.1-45.fc35 -
Fedora 34 svn32693.0.1-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