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 |