A simple proof checker to use in teaching(researchblogs.cs.bham.ac.uk)2 points by danghica 10 years ago | 0 commentsNo comments yet