Check Your (Students') Proofs-With Holes. - Dennis Renz; Sibylle Schwarz; Johannes Waldmann (CoRR, 2020)