Verzeichnis macros/generic/proofs/taylor

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (90.6k).

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.

Paket	proofs
Version	1996-08-20
Lizenzen	Do Not Sell Except by Arrangement
Copyright	1989–1996 Paul Taylor
Betreuer	Paul Taylor
Themen	Mathematik Bäume