Re: formatting logical proofs

[Herbert Voss]

Christopher M. Jones wrote:

> Is there a package around that handles formatting logical proofs?
> 
> 

http://www.tex.ac.uk/tex-archive/help/Catalogue/entries/proofs.html

Herbert


-- 
http://www.lyx.org/help/