Wolfram Kahl The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". 216-230 2011 CPP https://doi.org/10.1007/978-3-642-25379-9_17 conf/cpp/2011 db/conf/cpp/cpp2011.html#Kahl11