A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.

Bernhard Beckert Sarah Grebing Florian Böhl

Published in: SEFM Workshops (2014)

Keyphrases

usability evaluation
theorem prover
computer algebra systems
theorem proving
usability testing
automated theorem proving
first order logic
eye tracking
website
inference rules
computer algebra
automated reasoning
heuristic evaluation
usability problems
user interaction
databases
user interface
metadata