为 bussproofs 的防护树添加遮荫？

Question

我想知道 prooftree 如何与 colorbox 配合使用？我见过有人为他们的证明树添加阴影，但我不确定他们使用什么包。就我而言，我使用 bussproofs，它似乎与 colorbox 配合得不好：

\documentclass{article}
\usepackage{bussproofs}
\usepackage{xcolor}

\begin{document}

\colorbox{gray}{
\begin{prooftree}
  \AxiomC{some law...}
\end{prooftree}
}

\end{document}

上面的代码失败了。我搜索了一番，但答案要么是添加颜色，要么是使用总线证明，但不能同时使用两者。我应该如何在一个盒子里给整个证明树着色？

---

带有标签：

\documentclass{article}
\usepackage{bussproofs}
\usepackage{tcolorbox}
\usepackage{framed}
\usepackage{multicol}

\begin{document}

\begin{multicols}{3}
  \begin{tcolorbox}
    \begin{prooftree}
      \AxiomC{some law...}
      \RightLabel{Label}
      \UnaryInfC{Some Conclusion}
    \end{prooftree}
  \end{tcolorbox}

\end{multicols}

\end{document}

盒子里严格来说不包含标签。

Answer 1

您可以使用该tcolorbox包：

\documentclass{article}
\usepackage{bussproofs}
\usepackage{xcolor}
\usepackage{tcolorbox}
\begin{document}

\begin{tcolorbox}
\begin{prooftree}
  \AxiomC{some law...}
\end{prooftree}
\end{tcolorbox}

\end{document}