TED: A tree editor with applications for theorem proving
David H. Hammerslag · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 1984
As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and other tools to facilitate proof management. This thesis describes the tree editor and its use in the theorem proving application as well as other applications.