For those of you who want to write your proofs in LaTeX, a template you can use is now available here. It requires the logicproof package (.sty file included, source files also available here).