synproof – Easy drawing of syntactic proofs
The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through “key=value” pairs.
|License||The LaTeX Project Public License|
|Contained in||TeX Live as synproof|
|MiKTeX as synproof|
support for linguistics|
typesetting logician’s discussions
Download the contents of this package in one zip archive (63.1k).
Maybe you are interested in the following packages as well.
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- dvgloss: Facilities for setting interlinear glossed text