@misc{indiciaef1a048640ff3,
  title = {Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche},
  author = {Merlin Carl and Hinrich Lorenzen and Michael Schmitz},
  year = {2022},
  doi = {10.4204/eptcs.354.5},
  url = {https://arxiv.org/abs/2202.08131},
  note = {Source identifier: 2202.08131}
}