New posts in Theorems

Common numbering with ntheorem

Solid black box in the proof environment

Proofs in Beamer

Pushing \qed to the right within a displayed formula

Beamer newenvironment for theorems

AMS theorems in table of contents

Custom theorem numbering

Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)

How to get correct autoref for theorems

Theorem/Definition/Lemma problem --- Numbering