Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants.

Norbert Völker

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

design issues
user interface
design decisions
design guidelines
design principles
usability issues
user friendly
website
graphical user interfaces
user experience
real world
case study
human computer interaction
design process
theorem proving