@Inproceedings{EPTCS354.5, author = {Carl, Merlin and Lorenzen, Hinrich and Schmitz, Michael}, year = {2022}, title = {Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche}, editor = {Marcos, Jo\~ao and Neuper, Walther and Quaresma, Pedro}, booktitle = {{\rm Proceedings 10th International Workshop on} Theorem Proving Components for Educational Software, {\rm (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {354}, publisher = {Open Publishing Association}, pages = {59-70}, doi = {10.4204/EPTCS.354.5}, }