proof-at-the-end__doc
A package to move proofs to appendix
- Version:
- Copyright:
- Léo Colisson
- License:
- lppl1.3
- Packaged on:
- 2/8/2022 9:11:27 PM
- Number of files:
- 4
- Size on disk:
- 469.37 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…