A simple proof checker to use in teachinghttp://researchblogs.cs.bham.ac.uk/thelablunch/2015/09/a-simple-proof-checker-for-teaching/ by danghica • 11 years ago 2 0 11 years agoREresearchblogs.cs.bham.ac.uk