Vorschläge für bussproofs-extra
Die folgenden Pakete haben etwas mit dem Paket bussproofs-extra gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- bussproofs-colorful: Color extension for the bussproofs package
- bussproofs: Proof trees in the style of the sequent calculus
- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- seqcalc: A package for declarative sequent-calculus proofs
- bold-extra: Use bold small caps and typewriter fonts
- glossaries-extra: An extension to the glossaries package
- apxproof: Proofs in appendix
- eqnalign: Make eqnarray behave like align
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- bropd: Simplified brackets and differentials in LaTeX
- constants: Automatic numbering of constants
- conteq: Typeset multiline continued equalities
- commath: Mathematics typesetting support
- delim: Simplify typesetting mathematical delimiters
- envmath: Maths commands and environments
- easyeqn: A simple package for writing equations
- functan: Macros for functional analysis and PDE theory
- flagderiv: Flag style derivation package
- galois: Typeset Galois connections
- hhtensor: Print vectors, matrices, and tensors
- mdwmath: Some maths extensions
- mhs: Historical mathematics
- matc3: Commands for MatematicaC3 textbooks