Comprehensive TeX Archive Network

synproof – Easy drawing of syntactic proofs

The pack­age pro­vides a set of macros based on PSTricks that will en­able you to draw syn­tac­tic proofs eas­ily (in­spired by the Ga­mut books). Very few com­mands are needed, how­ever fine tun­ing of the var­i­ous pa­ram­e­ters (di­men­sions) can still be achieved through “key=value” pairs.

Li­censeThe LaTeX Project Public Li­cense
Main­tainerPaul Isam­bert
Con­tained inTeX Live as syn­proof
MiKTeX as syn­proof
Topics sup­port for lin­guis­tics
type­set­ting lo­gi­cian’s dis­cus­sions

Down­load the con­tents of this pack­age in one zip archive (63.1k).

Guest Book Sitemap Contact Contact Author