texlive-synproof Subpackage of texlive-collection-mathscience
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.fc45 | - |
| Fedora 44 | svn15878-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