A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.

Bernhard Beckert, Sarah Grebing, Florian Bhl

Browse the full SEFM paper archive.