A simple proof checker to use in teaching

2 points| danghica | 10 years ago |researchblogs.cs.bham.ac.uk