TED: A tree editor with applications for theorem proving

Abstract

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.NASA grant NAG 1-138U of I OnlyRestricted to the U of I community indenfinitely during batch ingest of legacy ETDs