Define a starred proof environment proof* that hides its contents unless the document is marked as final.

This package introduces an alternate proof environment, proof*, which conditionally hides or shows its contents based on the document mode (draft, final, or default). 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 files by omitting long proofs, allowing authors to focus their attention on results or proofs that are currently works in-progress.

Issues and feature requests can be submitted on GitHub at github.com/pwintz/hideproofs.

• Defines a proof* environment with optional argument.
• Automatically hides proofs in non-final documents (configurable).
• Customizable hidden message and styling.

\documentclass{article}
\usepackage{hideproofs}

\begin{document}

\begin{proof*}
  This proof will be hidden unless the document is in final mode.
\end{proof*}

\end{document}

The proof* environment matches the behavior of the proof environment for using an optional argument to change the proof heading from "proof.":

\begin{proof*}[Proof Sketch]
This labeled proof will be hidden unless visible.
\end{proof*}

Initial version

The hideproofs package is licensed under the LaTeX Project Public License.

To package hideproofs:

1. Compile the documentation.
2. Run

   .package_for_CTAN.sh

The .package_for_CTAN.sh script executes the following steps:

Run the makedtx tool to package the documentation and .sty files into a .dtx file. Often, makedtx is packaged with your LaTeX installation, so it does not need to be installed separately. Run

makedtx --version

to check it is installed. To build the .dtx file, run

makedtx -src "hideproofs\.sty=>hideproofs.sty" -doc hideproofs-doc.tex hideproofs

In the -src argument, the left-hand side of => is a regular expression indicating the source file (hence the need to escape \.) and the right-hand side is the output file.

CTAN wants LF line endings instead of CRLF (See here). We use td to delete the '\r' character from each file.

tr -d '\r'  < $file > hideproofs/$file

To upload to CTAN, we create a Zip folder with this structure:

• hideproofs.zip

  • hideproofs/

    • hideproofs-doc.tex
    • README.md
    • hideproofs.dtx
    • hideproofs.ins
    • hideproofs-doc.pdf