proof-at-the-end__source
A package to move proofs to appendix
- Version:
- Copyright:
- Léo Colisson
- License:
- lppl1.3
- Packaged on:
- 01/28/2024 12:37:10
- Number of files:
- 4
- Size on disk:
- 97.62 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…