Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse

Direc­tory tex-archive/macros/generic/proofs/taylor

Files

Name Size Date Notes
QED.sty 32907 1996-06-24 08:54 Pro­duce an "end-of-proof" mark
prooftree-doc.dvi 7336 1995-10-03 12:53
prooftree-doc.pdf 80732 2006-03-19 05:02
prooftree-doc.tex 5056 1995-10-03 12:53
12552 1996-08-20 03:15 ==> /macros/generic/proofs/tay­lor/prooftree.tex
prooftree.tex 12552 1996-08-20 03:15

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

proofs – Macros for build­ing proof trees

The pack­age will build a proof tree for Nat­u­ral De­duc­tion, Se­quent Cal­cu­lus, etc. The bun­dle also in­cludes a QED pack­age, for use to put marks at the end of a proof.

Pack­age De­tailsproofs
Ver­sion 1996-08-20
Li­censeDo Not Sell Ex­cept by Ar­range­ment
Copy­right1989-1996 Paul Tay­lor
Main­tainerPaul Tay­lor
Con­tained inMikTeX as proofs
Topics mech­a­nisms for draw­ing trees
sup­port for type­set­ting math­e­mat­ics
Guest Book Sitemap Contact