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.
| Quellen | /macros/latex/contrib/synproof |
| Dokumentation | |
| 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 | Logik Linguistik |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (63.1k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare