Fedora Packages

texlive-synproof Subpackage of texlive

Easy drawing of syntactic proofs

The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through "key=value" pairs.

Releases Overview

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