CTAN has a new package: synproof
Date: June 9, 2007 8:08:58 AM CEST
A new package has been installed at tug.ctan.org and should soon be
at your favorite mirror.
Thanks again,
Jim Hefferon
Saint Michael's College
.......................................................................
The following information was provided by our fellow contributor:
Name of contribution: synproof
Author's name: Paul Isambert
Location on CTAN: /macros/latex/contrib/synproof
Summary description: Easy drawing of syntactic proofs (a.k.a. derivations)
in modern logic.
License type: lppl
Announcement text:
This is 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.
This package is located at http://tug.ctan.org/tex-archive/macros/latex/cntrib/synproof . More information is at http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=synproof (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
This is 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.
This package is located at http://tug.ctan.org/tex-archive/macros/latex/cntrib/synproof . More information is at http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=synproof (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
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.
| Package | synproof |
| Version | 1.0 |
| Maintainer | Yuri Robbers Paul Isambert (inactive) |