A simple proof checker to use in teaching #1 Post by danghica » Tue, Sep 01, 2015, 4:23 PM UTC A simple proof checker to use in teachingresearchblogs.cs.bham.ac.uk