Vorschläge für newproof

Die folgenden Pakete haben etwas mit dem Paket newproof gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

Package autobreak: Simple line breaking of long formulae
Package thmtools: Extensions to theorem environments
Package thmbox: Decorate theorem statements
Package shadethm: Theorem environments that are shaded
Package ntheorem: Enhanced theorem environment
Package theorem: Manipulate theorem environments
Package theoremref: References with automatic theorem names
Package onepagem: If the document has only one page, omit page number
Package time: Defines a macro \now to print the current time
Package duplicat: Make duplicate page numbers distinct
Package spalign: Typeset matrices and arrays with spaces and semicolons as delimiters
Package keytheorems: An l3keys interface to amsthm
Package amsthm: Typesetting theorems (AMS style)
Package create-theorem: Initializing and configuring theorem-like environments, with multilingual support
Package phfthm: Goodies for theorems and proofs
Package inkpaper: A mathematical paper template
Package piff: Macro tools by Mike Piff
Package abraces: Asymmetric over-/underbraces in maths
Package eqnarray: More generalised equation arrays with numbering
Package linkedthm: Hyperlinked theorem–proof environments for LaTeX
Package nccthm: Another theorem environment
Package statementsp: Theorem and proposition boxes with preview and recall functions
Package reptheorem: Repetition of theorem environments
Package resizegather: Automatically resize overly large equations
Package blkarray: Extended array and tabular
Package cases: Numbered cases environment
Package cancel: Place lines through maths formulae
Package dotseqn: Flush left equations with dotted leaders to the numbers
Package empheq: EMPHasizing EQuations
Package ebproof: Formal proofs in the style of sequent calculus
Package fitch: LaTeX macros for Fitch-style natural deduction