ebproof funktioniert nicht mit dem Metropolis-Beamer-Thema

Question

Ich versuche, das Metropolis-Design beamerund das Paket ebproofauf Overleaf zu verwenden. (Es scheint, dass dies ein Overleaf-spezifisches Problem ist.) ebproof'Die prooftreeUmgebung funktioniert jedoch nicht.

Hier ist ein Beispiel für den Fehler:

Und der TeX, der es generiert hat:

\documentclass[10pt]{beamer}

\usetheme{metropolis}

\usepackage{ebproof}
\begin{document}


\begin{frame}

$$\begin{prooftree} 
\hypo{A}
\infer1{B}
\end{prooftree}$$

\end{frame}

\end{document}