CTAN Comprehensive TeX Archive Network

proofs – Macros for building proof trees

The package will build a proof tree for Natural Deduction, Sequent Calculus, etc. The bundle also includes a QED package, for use to put marks at the end of a proof.

Sources/macros/generic/proofs/taylor
Documentation
Version 1996-08-20
LicensesDo Not Sell Except by Arrangement
Copyright1989–1996 Paul Taylor
MaintainerPaul Taylor
TopicsTree
Maths

Download the contents of this package in one zip archive (90.6k).

Community Comments

No comments on this package are available yet. You can be the first to rate this package!

Rating Summary

∅ 0 [No votes]

This package has not been rated yet. You can be the first one to rate it.

My Rating

Only registered and authenticated members may vote. Please Login to vote.

Guest Book Sitemap Contact Contact Author