Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!corton!mirsa!bahia.inria.fr!bertot
From: bertot@bahia.inria.fr (Yves Bertot)
Newsgroups: comp.text.tex
Subject: Proof trees in TeX
Keywords: more complicated than fractions.
Message-ID: <9207@mirsa.inria.fr>
Date: 16 Nov 90 16:15:26 GMT
Sender: news@mirsa.inria.fr
Reply-To: bertot@bahia.inria.fr (Yves Bertot)
Organization: INRIA, Sophia-Antipolis (Fr)
Lines: 16

Does any one have any package to display proof trees like the following one:

                         
                         Formula     Formula
                        --------------------
            Formula            Formula         Formula
           -------------------------------------------
                          Formula


As you see the base line used in the upper levels of the proof tree is not
that of the fraction, and the display may need some box size computations.

Thanks in advance.

Yves.