\documentclass{article}

\usepackage{amsmath,amsthm,amsfonts}
\usepackage[colorlinks=true, linkcolor=blue]{hyperref}
\usepackage{linkedthm}

\title{The \texttt{linkedthm} Package}
\author{Luis A. Ortega}
\date{v1.0 — 2025/07/21}

% Base environment
\newtheorem{theorem}{Theorem}

% Linked version
\DeclareLinkedTheorem{linkedtheorem}{theorem}{Theorem}

\begin{document}

\maketitle

\section*{Overview}

\texttt{linkedthm} is a LaTeX package that connects theorem-like environments
to their corresponding proofs using hyperlinks. It helps readers navigate between statements and their justifications in a convenient and visually clear way.

\section*{Basic Usage}

Load the package:

\begin{verbatim}
\usepackage{linkedthm}
\end{verbatim}

Define a base environment:

\begin{verbatim}
\newtheorem{theorem}{Theorem}
\end{verbatim}

Declare the linked version:

\begin{verbatim}
\DeclareLinkedTheorem{linkedtheorem}{theorem}{Theorem}
\end{verbatim}

Use in document:

\begin{linkedtheorem}{thm:demo}
Let \( x \in \mathbb{R} \). Then \( x^2 \geq 0 \).
\end{linkedtheorem}

\begin{linkedproof}{thm:demo}
The square of a real number is always non-negative.
\end{linkedproof}

\section*{Features}

\begin{itemize}
  \item Hyperlinked `[Proof]` text at the end of each theorem
  \item Hyperlinked `[Return]` at the start of the proof
  \item Proof begins by restating the theorem, with matching labels
  \item You can declare your own linked environments with
    \verb|\DeclareLinkedTheorem|
\end{itemize}

\section*{Dependencies}

\begin{itemize}
  \item \texttt{amsthm}
  \item \texttt{xparse}
  \item \texttt{hyperref}
\end{itemize}

\section*{License}

This package is licensed under the \textbf{LaTeX Project Public License v1.3c}.

\end{document}