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.
|Licenses||Do Not Sell Except by Arrangement|
Download the contents of this package in one zip archive (90.6k).
Maybe you are interested in the following packages as well.
- dirtree: Display trees in the style of windows explorer
- prftree: Macros for building proof trees
- mathdots: Commands to produce dots in math that respect font size
- systeme: Format systems of equations