ctan-ann - proof-at-the-end

New on CTAN: proof-at-the-end

2019-05-08T16:40:42Z

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, 

...

CTAN update: proof-at-the-end

2022-01-29T20:40:52Z

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

...

CTAN update: proof-at-the-end

2022-02-08T20:53:15Z

Léo Colisson submitted an update to the

                proof-at-the-end

package.

Version number: 2022-02-07
License type: lppl1.3

Summary description: A package to move proofs to appendix

Announcement text:We provide now a more reliable way to obtain the section of the proof, and we
provide a solution to move appendix to a different files (including using
restatable theorems).

...

CTAN update: proof-at-the-end

2024-01-27T16:12:14Z

Léo Colisson submitted an update to the

                proof-at-the-end

package.

Version: 2024-01-26
License: lppl1.3

Summary description: A package to move proofs to appendix

Announcement text:Minor bug fix (trailing space…)

...