Léo Colisson submitted the
proof-at-the-end
package.
Version number: 2019-05-06 License type: lppl1.3
Summary description: Move proofs to the appendix
Announcement text: ----------------------------------------------------------------------
Proof-at-the-end aims to provide a way to easily move proofs in the appendix. You can (among other) move proofs in different places/sections, create links from theorem to proofs, restate theorems, add comments in appendix...
----------------------------------------------------------------------
This package is located at http://mirror.ctan.org/macros/latex/contrib/proof-at-the-end
More information is at https://www.ctan.org/pkg/proof-at-the-end
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Erik Braun
------------------------------------------------------------------------
We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .