Tag Info

New answers tagged

0

I strongly suggest you use the much better bussproofs.sty, not prooftree.sty. Check out this page at Latex for Logicians for a mini-illustration, a link to the package and to the short-but-useful Latex for Logicians documentation. Bussproofs is easy, and produces excellent output.



Top 50 recent answers are included