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.

Sources /macros/latex/contrib/synproof
Ver­sion 1.0
Li­cense The Project Public Li­cense
Main­tainer Paul Isam­bert
Con­tained in TeX 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).

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author