CTAN Comprehensive TeX Archive Network

An­nounce­ments for syn­proof

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.

Pack­agesyn­proof
Ver­sion1.0
Main­tainerYuri Rob­bers
Paul Isam­bert (in­ac­tive)

Atom Atom 1.0 feed with an­nounce­ments for pack­age syn­proof.
RSS RSS 2.0 feed with an­nounce­ments for pack­age syn­proof.

Guest Book Sitemap Contact Contact Author