author = {W. Windsteiger},
title = {{Automated Theorem Proving in the Classroom}},
language = {english},
year = {2021},
month = {September 15},
note = {Invited talk at 13th International Conference on Automated Deduction in Geometry (ADG)},
conferencename = {13th International Conference on Automated Deduction in Geometry (ADG)}