CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/synproof

This is the file README for synproof.sty.  You'll find complete documentation in synproof-doc.pdf

This package provides simple commands to draw syntactic proofs (derivations) in
modern logic. Each step of the derivation is a numbered line with the operation
used to derive it, and assumptions are represented as lines down to their conclusions
(as in the Gamut books). The derivation's appearance can be modified easily. 

Required packages (usually available on any LaTeX distribution): 
- ifthen.sty
- pstricks.sty
- pst-node.sty
- keyval.sty

Licensing of this package is covered by LPPL.

Any reaction is welcome: zappathustra@free.fr

Paul Isambert

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

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.

LicensesThe Project Public License
MaintainerYuri Robbers
Paul Isambert (inactive)
Contained inTeX Live as synproof
MiKTeX as synproof
Guest Book Sitemap Contact Contact Author