TY  - RPRT
TI  - Check Your (Students') Proofs-With Holes
AU  - Dennis Renz
AU  - Sibylle Schwarz
AU  - Johannes Waldmann
PY  - 2020
UR  - https://arxiv.org/abs/2009.01326
ID  - 2009.01326
ER  -