![ebproof 无法与 Metropolis Beamer 主题配合使用](https://linux22.com/image/423694/ebproof%20%E6%97%A0%E6%B3%95%E4%B8%8E%20Metropolis%20Beamer%20%E4%B8%BB%E9%A2%98%E9%85%8D%E5%90%88%E4%BD%BF%E7%94%A8%20.png)
我正在尝试使用 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}