Import moveproofs will crash if there is no \makeproof

[piotr-semenov]

If user imports moveproofs package but has no \makeproof calls in his TeX then it crashes with the error like below:

! Package pgfkeys Error: I do not know the key '/moveproofs/proofs/list' and I am going to ignore it. Perhaps you misspelled it.

Please, find the minimal non-working example named mnwe.tex below.

\documentclass{article}

\usepackage{lipsum}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}

\usepackage{hyperref}

\usepackage[location=appendix]{moveproofs}


\begin{document}
\end{document}

To check mnwe.tex you can use next bash:

docker run --rm -v $(pwd):/work -w /work -it texlive/texlive:latest latexmk -pdf -pdflatex mnwe.tex

This PR introduces the flag \ifMPproofsdefined to indicate if there is no proofs and initializes proof list as empty one.
This PR was tested with TeX Live 2026.