syn­proof – Easy draw­ing of syn­tac­tic 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.