Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

Direc­tory tex-archive/macros/latex/contrib/synproof

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

Files

Name Size Date Notes
README 655 2007-06-09 05:53
synproof-doc.pdf 69056 2007-06-09 07:11
synproof-doc.tex 11952 2007-06-09 07:03
synproof.sty 5895 2009-07-05 04:26

Down­load the con­tents of this pack­age in one zip archive (63.1k).

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­age De­tailssyn­proof
Ver­sion1.0
Li­censeThe LaTeX Project Public Li­cense
Main­tainerPaul Isam­bert
Con­tained inTeXlive as syn­proof
MikTeX as syn­proof
Topics type­set­ting lo­gi­cian’s dis­cus­sions
sup­port for lin­guis­tics
Guest Book Sitemap Contact