CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math".

Wolfram Kahl

Browse the full ITP paper archive.