CTAN Comprehensive TeX Archive Network

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 .

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.

Packagesynproof
Version1.0
MaintainerYuri Robbers
Paul Isambert (inactive)

Announcements

more

Guest Book Sitemap Contact Contact Author