How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers

Bernhard Beckert, Sarah Grebing, Florian Böhl

In recent years the effectiveness of interactive theorem provers has increased to an extent that the bottleneck in the interactive process shifted to efficiency: while in principle…