I am trying to reproduce some very old articles for use in an anthology. Some of these articles present certain rules of inference as proofs in sequent calculus, but number them along with equations, using the same numbering style as equations. Normally, I use bussproofs for this kind of proof environment, but bussproofs only allows numbering right next to the inference line in the proof tree. If bussproofs were usable inside an equation environment, what I'm looking for would be something like this:
\begin{equation*}\tag{I1}
\begin{prooftree}
\AxiomC{$A \land B$}
\UnaryInfC{$A$}
\end{prooftree}
\end{equation*}
But, of course this errors out when I generate the PDF, since bussproofs proof trees can't be embedded in other environments in this way (or can they, and I just don't know some trick?). Any suggestion as to how I might be able to get the result I'm looking for?
bussproofs
is, to say the least, scanty and the URL shown in it is not valid, would you please show a complete example with numbering?