new­proof – Make com­mands to de­fine proofs

The \new­proof com­mand is rather like \newthe­o­rem; it cre­ates en­vi­ron­ments which may be used to type­set con­ven­tional math­e­mat­i­cal proofs.
The pack­age is part of the piff bun­dle.