proof-at-the-end__doc
A package to move proofs to appendix
- Version:
- Copyright:
- Léo Colisson
- License:
- lppl1.3
- Packaged on:
- 08/25/2022 20:11:48
- Number of files:
- 4
- Size on disk:
- 488.96 kB
This package aims to provide a way to easily move proofs to the appendix. You can (among other things) move proofs to different places/sections, create links from theorems to proofs, restate theorems, add comments in appendix…