author = {W. Windsteiger},
title = {{Using Theorema as a Proof Tutor in the Classroom}},
language = {english},
year = {2022},
month = {January 17},
note = {Invited colloquium talk at RISC Forum},
institution = {RISC Forum}