CTAN Comprehensive TeX Archive Network

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.

Sources/macros/latex/contrib/synproof
Documentation
Version1.0
LicensesThe Project Public License
MaintainerYuri Robbers
Paul Isambert (inactive)
Contained inTeX Live as synproof
MiKTeX as synproof
TopicsLogic
Linguistic

Download the contents of this package in one zip archive (63.1k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Suggestions

Maybe you are interested in the following packages as well.

more

Guest Book Sitemap Contact Contact Author