I am wondering how prooftree can work with colorbox? I've seen people shading their proof trees, but I am not certain what package people use. In my case, I use bussproofs, and it doesn't seem to work well with colorbox:
\documentclass{article}
\usepackage{bussproofs}
\usepackage{xcolor}
\begin{document}
\colorbox{gray}{
\begin{prooftree}
\AxiomC{some law...}
\end{prooftree}
}
\end{document}
The code above fails. I've searched around, but the answers are either about adding color, or using bussproofs, but not both. How should I shade the whole proof tree in a box?
with label:
\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}
The box does not strictly include the label.