texlive-linkedthm Subpackage of texlive-collection-mathscience

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.

Releases Overview