# New on CTAN: phfthm

Date: August 17, 2016 9:03:33 AM CEST

Philippe Faist submitted the
phfthm
package.
Version: 1.0 2016-08-15
License: lppl1.3
Summary description: Goodies for theorems and proofs
Announcement text:

The phfthm package provides enhanced theorem and proof environments based on the amsthm original versions. It allows for hooks to be placed, adds some default goodies and is highly customizable. In particular, it can connect theorems to proofs, automatically producing text such as "See proof on page XYZ" and "Proof of Theorem 4: ..."

The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/phfthm The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/phfthm/

Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese

We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .

The phfthm package provides enhanced theorem and proof environments based on the amsthm original versions. It allows for hooks to be placed, adds some default goodies and is highly customizable. In particular, it can connect theorems to proofs, automatically producing text such as "See proof on page XYZ" and "Proof of Theorem 4: ..."

The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/phfthm The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/phfthm/

Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese

We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .

## phfthm – Goodies for theorems and proofs

This package provides enhanced theorem and proof environments based on the amsthm original versions. It allows for hooks to be placed, adds some default goodies and is highly customizable. In particular, it can connect theorems to proofs, automatically producing text such as “See proof on page XYZ” and “Proof of Theorem 4: ...”.

Package | phfthm |

Version | 1.2 2021-03-01 |

Copyright | 2016–2021 Philippe Faist |

Maintainer | Philippe Faist |