Suggestions for Apxproof

The following packages have something in common with the package Apxproof. The packages are ordered in decreasing similarity.

• Package proof-at-the-end: A package to move proofs to appendix
• Package appendix: Extra control of appendices
• Package apptools: Tools for customising appendices
• Package ebproof: Formal proofs in the style of sequent calculus
• Package fitch: LaTeX macros for Fitch-style natural deduction
• Package prftree: Macros for building proof trees
• Package bussproofs: Proof trees in the style of the sequent calculus
• Package natded: Typeset natural deduction proofs
• Package ribbonproofs: Drawing ribbon proofs
• Package seqcalc: A package for declarative sequent-calculus proofs
• Package thrmappendix: Theorems, lemmas, etc., in appendix
• Package bussproofs-extra: Extra commands for bussproofs.sty
• Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
• Package calculation: Typesetting reasoned calculations, also called calculational proofs
• Package bussproofs-colorful: Color extension for the bussproofs package
• Package attachfile2: Attach files into PDF
• Package attachfile: Attach arbitrary files to a PDF document
• Package pdfmarginpar: Generate marginpar-equivalent PDF annotations
• Package repltext: Control how text gets copied from a PDF file
• Package hypgotoe: Links to embedded files
• Package pst-pdf: Make PDF versions of graphics by processing between runs
• Package caption2: Superseded version of the caption package
• Package cuted: Mixing onecolumn and twocolumn modes
• Package newproof: Make commands to define proofs
• Package resizegather: Automatically resize overly large equations
• Package exam: Package for typesetting exam scripts
• Package fvextra: Extensions and patches for fancyvrb
• Package llncs: Document class and bibliography style for Lecture Notes in Computer Science (LNCS)
• Package pythonhighlight: Highlighting of Python code, based on the listings package
• Package authblk: Support for footnote style author/affiliation
• Package ascmac: Boxes and picture macros with Japanese vertical writing support