Verzeichnis macros/latex/contrib/synproof
README
This is the file README for synproof.sty. You'll find complete documentation in synproof-doc.pdf This package provides simple commands to draw syntactic proofs (derivations) in modern logic. Each step of the derivation is a numbered line with the operation used to derive it, and assumptions are represented as lines down to their conclusions (as in the Gamut books). The derivation's appearance can be modified easily. Required packages (usually available on any LaTeX distribution): - ifthen.sty - pstricks.sty - pst-node.sty - keyval.sty Licensing of this package is covered by LPPL. Any reaction is welcome: zappathustra@free.fr Paul Isambert
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (63.1k).
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.
| Paket | synproof |
| Version | 1.0 |
| Lizenzen | The LaTeX Project Public License |
| Betreuer | Yuri Robbers Paul Isambert (inaktiv) |
| Enthalten in | TeX Live als synproof MiKTeX als synproof |
| Themen | Linguistik Logik |
