Ankündigungen für proof-at-the-end

proof-at-the-end – A package to move proofs to appendix

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…

Paket	proof-at-the-end
Version	2024-01-26
Copyright	2024 Léo Colisson
Betreuer	Léo Colisson

Atom Atom-1.0-Feed mit Ankündigungen für das Paket proof-at-the-end.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket proof-at-the-end.