Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche. - Merlin Carl; Hinrich Lorenzen; Michael Schmitz 005 (ThEdu@CADE, 2021)