Vorschläge für proof-at-the-end
Die folgenden Pakete haben etwas mit dem Paket proof-at-the-end gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- apxproof: Proofs in appendix
- thrmappendix: Theorems, lemmas, etc., in appendix
- bussproofs-extra: Extra commands for bussproofs.sty
- calculation: Typesetting reasoned calculations, also called calculational proofs
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- appendix: Extra control of appendices
- bussproofs: Proof trees in the style of the sequent calculus
- bussproofs-colorful: Color extension for the bussproofs package
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- apptools: Tools for customising appendices
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- seqcalc: A package for declarative sequent-calculus proofs
- proofgraph: Dependency graphs of the results of a mathematical article
- eqnalign: Make eqnarray behave like align
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- mhs: Historical mathematics
- atendofenv: Add a custom symbol at the end of an environment
- boldtensors: Bold latin and greek characters through simple prefix characters
- bropd: Simplified brackets and differentials in LaTeX
- conteq: Typeset multiline continued equalities
- correctmathalign: Correct spacing of the alignment in expressions
- constants: Automatic numbering of constants
- cascade: Constructions with braces to present mathematical demonstrations
- complexpolylongdiv: Typesetting (complex) polynomial long division
- delim: Simplify typesetting mathematical delimiters
- delimseasy: Delimiter commands that are easy to use and resize
- envmath: Maths commands and environments