Version:
Copyright:
Léo Colisson
License:
lppl1.3
Packaged on:
5/8/2019 8:11:38 PM
Number of files:
6
Size on disk:
392.86 kB

This package aims to provide a way to easily move proofs in the appendix. You can (among other) move proofs in different places/sections, create links from theorem to proofs, restate theorems, add comments in appendix…