You may be familiar with the endfloat package, which moves all figures and tables to the end of your document.

Is there a similar package for achieving that kind of results with proof environments (as defined in the amsthm package)? For instance, the following chunk:

Theorem 1: some wonderful statement.

Proof: some astonishing proof.

would appear (when the package is used) in the text as:

Theorem 1: some wonderful statement.

Proof: see page P.

and then page P would contain something like:

Proof of Theorem 1 page XXX: some astonishing proof.

  • 2
    Have a look at thrmappendix. I'm not sure it does exactly what you want, I believe it's pretty close though. Nov 18, 2011 at 9:21
  • @wh1t3: indeed, thrmappendix comes quite close. Thanks! Dec 16, 2011 at 7:27

1 Answer 1


You can try with the code shown in this answer but changing the definition of \proofatend with

  \proof See page \pageref{pr\pat@label}.\endproof
  \edef\next{\noexpand\begin{proof}[Proof of \pat@label]\noexpand\label{pr\pat@label}}%

This will put Proof. See page nnn. after the statement.

If you prefer to write proofs in environment form, then load also the environ package and write, instead of the definition of \proofatend before the following:

  {\proof See page \pageref{pr\pat@label}.\endproof
  \edef\next{\noexpand\begin{proof}[Proof of \pat@label]\noexpand\label{pr\pat@label}}%

Then you may write your proofs as

It's quite clear.

Here's a paragraph break.
  • 1
    Can I ask a silly question: why (in your original answer) do you use tokens, instead of writing to/reading from a file?
    – Steve D
    Nov 18, 2011 at 11:33
  • 2
    @SteveD Reading to a file is sometimes a pain; while it was necessary in the olden days, now we have huge memory and plenty of token registers to play with.
    – egreg
    Nov 18, 2011 at 11:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .