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
|Copyright||2016–2017 Pierre Senellart
|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 (448.6k).
Maybe you are interested in the following packages as well.
- ebproof: Formal proofs in the style of sequent calculus
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- bondgraph: Create bond graph figures in LaTeX documents