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.
|Licenses||The LaTeX Project Public License 1.3|
|Copyright||2016–2022 Pierre Senellart|
|Contained in||TeX Live as apxproof|
MiKTeX as apxproof
Download the contents of this package in one zip archive (588.6k).
Maybe you are interested in the following packages as well.
- proof-at-the-end: A package to move proofs to appendix
- natded: Typeset natural deduction proofs
- bussproofs: Proof trees in the style of the sequent calculus
- prftree: Macros for building proof trees