[Tex/LaTex] Latex Bussproofs Package Prooftrees on Same Line

Question

I'd like to know how to put two prooftrees on the same line rather than under/ontop of one another. Is that possible?

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{$\Gamma\vdash B $}
\RightLabel{K}
\UnaryInfC{$\Gamma,A\vdash B $}
\end{prooftree}

\begin{prooftree}
\AxiomC{$\Gamma,(A,B),B\vdash C $}
\RightLabel{W}
\UnaryInfC{$\Gamma,A,B\vdash C $}
\end{prooftree}
\end{document}

Answer 1

You can define a bprooftree (boxed proof tree) that encloses the proof tree in a box as wide as the tree.

\documentclass{article}
\usepackage{bussproofs}

\usepackage{lipsum} % just for the example

\newenvironment{bprooftree}
  {\leavevmode\hbox\bgroup}
  {\DisplayProof\egroup}

\begin{document}

\lipsum*[2]
\[
\begin{bprooftree}
\AxiomC{$\Gamma\vdash B $}
\RightLabel{K}
\UnaryInfC{$\Gamma,A\vdash B $}
\end{bprooftree}\qquad
\begin{bprooftree}
\AxiomC{$\Gamma,(A,B),B\vdash C $}
\RightLabel{W}
\UnaryInfC{$\Gamma,A,B\vdash C $}
\end{bprooftree}
\]
\lipsum[3]

\end{document}