Interactive Proof Discovery: An Empirical Study of HOL Users
Stuart Aitken‚ Philip Gray‚ Tom Melham and Muffy Thomas
Book Title
User Interface Design for Theorem Proving Systems: An International Workshop organised by the ITP Project
Editor
Philip Gray
Publisher
Department of Computing Science‚ University of Glasgow
Year
1995