Vorschläge für bussproofs
Die folgenden Pakete haben etwas mit dem Paket bussproofs gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- bussproofs-extra: Extra commands for bussproofs.sty
- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- prftree: Macros for building proof trees
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- apxproof: Proofs in appendix
- upgreek: Upright Greek letters
- autobreak: Simple line breaking of long formulae
- eqnalign: Make eqnarray behave like align
- eqnarray: More generalised equation arrays with numbering
- thmtools: Extensions to theorem environments
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- abraces: Asymmetric over-/underbraces in maths
- nath: Natural mathematics notation
- bropd: Simplified brackets and differentials in LaTeX
- constants: Automatic numbering of constants
- conteq: Typeset multiline continued equalities
- commath: Mathematics typesetting support
- cancel: Place lines through maths formulae
- delim: Simplify typesetting mathematical delimiters
- dotseqn: Flush left equations with dotted leaders to the numbers
- envmath: Maths commands and environments
- extpfeil: Extensible arrows in mathematics
- easyeqn: A simple package for writing equations
- faktor: Typeset quotient structures with LaTeX
- functan: Macros for functional analysis and PDE theory