ebproof がメトロポリス ビーマー テーマで動作しない

Question

私はメトロポリス テーマとoverleaf のbeamerパッケージを使用しようとしていますebproof。 (これは overleaf 固有の問題のようです。) ただし、ebproof'環境prooftreeが機能していません。

エラーの例を次に示します。

そしてそれを生成した TeX は次のようになります。

\documentclass[10pt]{beamer}

\usetheme{metropolis}

\usepackage{ebproof}
\begin{document}


\begin{frame}

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

\end{frame}

\end{document}