This topic contains packages to typeset mathematical theorems.
Typesetting theorems (AMS style).
Simple line breaking of long formulae.
Reference items in a theorem environment.
Another theorem environment.
Make commands to define proofs.
Obsolete version of ntheorem.
Enhanced theorem environment.
Goodies for theorems and proofs.
Use a roman font for theorem statements.
Theorem environments that are shaded.
Typeset matrices and arrays with spaces and semicolons as delimiters.
Manipulate theorem environments.
References with automatic theorem names.
Decorate theorem statements.
Extensions to theorem environments.
Theorems, lemmas, etc., in appendix.