CTAN Comprehensive TeX Archive Network

Announcements for synproof

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)

Atom Atom 1.0 feed with announcements for package synproof.
RSS RSS 2.0 feed with announcements for package synproof.

Guest Book Sitemap Contact Contact Author