Comprehensive TeX Archive Network

Direc­tory 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

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.

Li­cense The Project Public Li­cense
Main­tainerPaul Isam­bert
Con­tained inTeX Live 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 Contact Author