LaTeX package for automatically putting proof environments in appendix
Primary LanguageTeXLaTeX Project Public License v1.3cLPPL-1.3c