LaTeXing proofs
I’ve written a LaTeX package to typeset proofs in natural deduction and similar systems.
In some ways, it improves the existing packages by adding a new feature: the ability to reference assumptions in a proof and the ability to create and reference “proof summaries”.
If you want to have a look, it is available at CTAN.
Marco Benini 