Menu
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

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
Doc­u­men­ta­tion
Ver­sion1.0
Li­censeThe LaTeX Project Public Li­cense
Main­tainerPaul Isam­bert
Con­tained inTeXlive 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 2014-04-24 17:55 CEST