TY  - RPRT
TI  - Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
AU  - Merlin Carl
AU  - Hinrich Lorenzen
AU  - Michael Schmitz
PY  - 2022
DO  - 10.4204/eptcs.354.5
UR  - https://arxiv.org/abs/2202.08131
ID  - 2202.08131
ER  -