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.
If possible, get this package from your distribution using its installation manager. (For installation help, click on your distribution's name.)
| Distribution | Package name |
|---|---|
| MiKTeX | proofs |
| TeX Live | -this package is not in TeX Live- |
You can also visit proofs's CTAN directory to browse the source or download the material for installation by hand.
| Documentation on CTAN |
|
|||
| Documentation off CTAN | -none known- | |||
| Maintainers |
|
|||
| Version | -not known- | |||
| License | Free for use but distribution for profit only by arrangement | |||
| Related packages | -none recorded- | |||
| Keywords |
|
|||
| Characterizations |
You can suggest changes to the keywords and characterizations and the maintainer information.
You can get information about any package.