ebproof 无法与 Metropolis Beamer 主题配合使用

Question

我正在尝试使用 metropolis 主题和overleaf 上的beamer包ebproof。（这似乎是 overleaf 特有的问题。）但是，ebproof'sprooftree环境不起作用。

以下是错误的示例：

生成它的 TeX：

\documentclass[10pt]{beamer}

\usetheme{metropolis}

\usepackage{ebproof}
\begin{document}


\begin{frame}

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

\end{frame}

\end{document}