New on CTAN: linkedthm
Initial release of `linkedthm`, a lightweight package for hyperlinking between theorem-like environments and their proofs. Supports automatic [Proof] and [Return] links, restates theorems in proofs, and allows user-defined linked environments. Built on `amsthm`, `xparse`, and `hyperref`.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/linkedthm The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/linkedthm/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
linkedthm – Hyperlinked theorem–proof environments for LaTeX
This package provides lightweight infrastructure for bidirectional linking between theorem-like environments and their corresponding proofs. It automatically adds a [Proof] hyperlink at the end of a theorem and a restated version with a [Return] link inside the proof.
You can declare any number of custom linked environments (e.g., linkeddefinition, linkedexample) using \DeclareLinkedTheorem, and base them on any amsthm-compatible environment.
This is useful for mathematical writing and documentation, where proof navigation is essential.
The package uses amsthm, xparse, and hyperref, and is compatible with all standard LaTeX engines.
| Package | linkedthm |
| Version | 1.0 2025-07-21 |
| Maintainer | Luis Antonio Ortega Andrés |