Skip to main content

A Study Of User Activity In Interactive Theorem Proving

Stuart Aitken‚ Philip Gray‚ Tom Melham and Muffy Thomas

Book Title
Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review
Editor
Chris Johnson
Month
August
Note
GIST Technical Report G95.2
Pages
195–218
Publisher
Department of Computing Science‚ University of Glasgow
Year
1995