Paul Wintz submitted the
hideproofs
package.
Version: 1.0 License: lppl
Summary description: Defines an a starred proof environment that hides proofs in draft mode
Announcement text: --------------------------------------------------------------------------------
The hideproofs package introduces an alternate proof environment, `proof*`, which conditionally hides or shows its contents based on the document mode (e.g., `draft` mode). This is useful for omitting formal proofs from draft versions while retaining them in final documents. The motivation for this package is to reduce the clutter in large documents by omitting long proofs, allowing authors to focus their attention on results or proofs that are still in progress.
This is the first package that I've submitted to CTAN and I think it turned out well. I hope you enjoy it! --------------------------------------------------------------------------------
This package is located at https://mirrors.ctan.org/macros/latex/contrib/hideproofs
More information is at https://ctan.org/pkg/hideproofs
--------------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Manfred Lotz
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs .