Immediate Feedback for Proof Attempts in Introductory CS Logic and Discrete MathsDr. Wolfram Kahl

CalcCheckWeb is a proof-checker developed for students enrolled in Discrete Mathematics I. In this presentation, I’ll discuss my experiences developing CalCheckWeb and describe how it has been integrated into the course since it was first introduced in Fall 2016.

In this course, students spend the majority of their time outside of lectures applying what they have learned by solving proofs and interacting with CalcCheckWeb. Students use simple syntax to enter proof attempts into CalCheckWeb and receive immediate and detailed feedback at a fine level of granularity. Consistent with the course textbook, CalCheckWeb employs a proofing style that emphasizes the use of logic in applied reasoning and produces very rigorous proofs that are easily interpreted by students.