L UI : A Distributed Graphical User Interface for theInteractive Proof System megaJ

Most interactive proof development environments are insuucient to handle the complexity of the information to be conveyed to the user and to support his orientation in large-scale proofs. In this paper we present a distributed client-server extension of the mega proof development system, focusing on the LUI (Lovely mega User Interface) client. This graphical user interface provides advanced communication facilities through an adaptable proof tree visualization and through various selective proof object display methods. Some of LUI's main features are the graphical display of co-references in proof graphs, a selective term browser, and support for dynamically adding knowledge to partial proofs { all based upon and implemented in a client-server architecture.