ctan-ann - hideproofsAnnouncements of the Comprehensive TeX Archive Networkctan-ann-hideproofs2026-09-11T05:58:07ZNew on CTAN: hideproofs23db82b154ffec00@hogwart2025-06-16T09:03:21ZPaul Wintz submitted the
hideproofs
package.
...
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
...
]]>
CTAN Announcementsctan-ann at ctan.org