Index of /archives/text/CTAN/macros/latex/contrib/synproof

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 README                                    2007-06-10 00:53  655   
 synproof-doc.pdf                          2007-06-10 02:11   67K  
 synproof-doc.tex                          2007-06-10 02:03   12K  
 synproof.sty                              2009-07-05 23:26  5.8K  

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: [email protected]

Paul Isambert