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

10 citations · 10 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 10 cited

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…