  We present and analyze the employment of the Diproche system, a natural
language proof checker, within a one-semester mathematics beginners lecture
with 228 participants. The system is used to check the students' solution
attempts to proving exercises in Boolean set theory and elementary number
theory and to give them immediate feedback. The benefits of the employment of
the system are assessed via a questionnaire at the end of the semester and via
analyzing the solution attempts of a subgroup of the students. Based on our
results we develop approaches for future improvements.
