Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz. Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq. In Andreas Schwill, Ulrike Lucke, editors, Hochschuldidaktik der Informatik, HDI 2016 - 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik, 13.-14. September 2016 an der Universität Potsdam, Germany. Volume 10 of Commentarii informaticae didacticae, pages 69-80, Universitätsverlag Potsdam, 2016.
Abstract is missing.