Browse Dept. of Computer Science by Series/Report "Report No. UIUCDCS-R-84-1190"
Now showing items 1-1 of 1
(1984-12)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 ...