\newtheorem{theorem}{Theorem}
\usepackage{linkedthm}

\DeclareLinkedTheorem{linkedtheorem}{theorem}{Theorem}

\begin{linkedtheorem}{thm:example}
All even numbers greater than 2 are the sum of two primes.
\end{linkedtheorem}

\begin{linkedproof}{thm:example}
This is known as Goldbach's conjecture and remains unproven.
\end{linkedproof}

Download the contents of this package in one zip archive (212.8k).

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
Repository	https://github.com/Ludvins/linkedthm/tree/main
Version	1.0 2025-07-21
Licenses	The LaTeX Project Public License 1.3c
Maintainer	Luis Antonio Ortega Andrés
Contained in	TeX Live as linkedthm MiKTeX as linkedthm
Topics	Maths theorem Hyper