apxproof – Proofs in appendix
The package makes it easier to write articles where proofs and other material are deferred to the appendix.
The appendix material is written in the LaTeX code along with the main text which it naturally complements, and it is automatically deferred.
The package can automatically send proofs to the appendix, can repeat in the appendix the theorem environments stated in the main text, can section the appendix automatically based on the sectioning of the main text, and supports a separate bibliography for the appendix material.
The LaTeX Project Public License 1.3
|Contained in||TeX Live as apxproof|
|MiKTeX as apxproof|
Typsetting and using appendices
typeset proofs and proof diagrams
Download the contents of this package in one zip archive (446.6k).
Maybe you are interested in the following packages as well.
- natded: Typeset natural deduction proofs
- prftree: Macros for building proof trees
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- upgreek: Upright Greek letters