Hacker News new | ask | show | jobs
A simple proof checker to use in teaching (researchblogs.cs.bham.ac.uk)
2 points by danghica 3942 days ago