W. Windsteiger.Automated Theorem Proving in the Classroom. Technical report no. 21-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.Extended version of keynote talk at ADG 2021 conference. Licensed under CC BY 4.0 International.[doi][pdf][bib]