Wolfram Kahl: The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". CPP 2011: 216-230