ebproof & mathpartir
Is there anyway to get ebproof to be compatible with the mathpartir environment? It's quite useful to automatically layout a collection of proof trees in a relatively aesthetic manner.
Currently, the combination raises an error or displays nothing depending on the way that they are integrated (savebox or not).
If compatibility isn't possible guidance on replicating a similar paragraph layout with ebproof would be appreciated, I've tried hacking some things together but it doesn't work very well...