Léo Colisson submitted an update to the

proof-at-the-end

package.

Version: 2022-01-28 License: lppl1.3

Summary description: A package to move proofs to appendix

Announcement text: ----------------------------------------------------------------------

In this upgrade, it is easier to move proofs at the end using the createShortEnv option to automatically generate shortcuts for theorems, lemmas... We also allow easier use of cleveref instead of autoref, and fix some bugs (space issues, and sometimes sections were poorly detected). See the changelog in the documentation.

----------------------------------------------------------------------

The package’s Catalogue entry can be viewed at https://ctan.org/pkg/proof-at-the-end

The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/proof-at-the-end/

------------------------------------------------------------------------

Thanks for the upload.

For the CTAN Team Petra Rübe-Pugliese

------------------------------------------------------------------------

CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs