Tag Info

New answers tagged


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