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.