Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...