Latex package for auto-moving proofs to the appendix of a document.
Primary LanguageTeXApache License 2.0Apache-2.0