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