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…