A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material.

Christoph Benzmller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayov, Marvin R. G. Schiller, Magdalena Wolska

Browse the full LREC paper archive.