A simple proof checker to use in teachingresearchblogs.cs.bham.ac.uk2 points·danghica··0 commentsOpen articleSaveView on HN