proof-at-the-end__doc
A package to move proofs to appendix
- Version:
- Copyright:
- Léo Colisson
- License:
- lppl1.3
- Packaged on:
- 06/20/2025 14:36:16
- Number of files:
- 4
- Size on disk:
- 495.47 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…