Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me what I’ve left out, and how to improve the pages!
A few more packages for typesetting proof trees are available, including:
– drv (http://tug.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv/);
– virginialake (http://alessio.guglielmi.name/res/vl/).
Some others are listed at the end of the documention for drv.
Thanks for that! I’ll investigate when I have a moment …