CTAN web interface: package synproof

Package synproof:

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.

Getting it

If possible, get this package from your distribution using its installation manager. (For installation help, click on your distribution's name.)

Distribution	Package name
MiKTeX	synproof
TeX Live	synproof

You can also visit synproof's CTAN directory to browse the source or download the material for installation by hand.

More

Documentation on CTAN

Package documentation

Documentation off CTAN

-none known-

Maintainers

Version

1.0

License

LaTeX Project Public License

Related packages

-none recorded-

Keywords

Mathematics (the subject)

graphics created inside TeX (pictures, PSTricks, PGF, etc.)

Characterizations

primary:: Subject-specific typesetting > Mathematics > Other
secondary:: Graphics > Inside TeX

You can suggest changes to the keywords and characterizations and the maintainer information.

You can get information about any package.