Bernhard Beckert, Sarah Grebing. Interactive Theorem Proving - Modelling the User in the Proof Process. In Ulrich Furbach, Claudia Schon, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. Volume 1412 of CEUR Workshop Proceedings, pages 60-73, CEUR-WS.org, 2015. [doi]
Abstract is missing.