A simple proof checker to use in teaching (researchblogs.cs.bham.ac.uk) 2 points by danghica 10y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 7.1 ms ] threadNo comments yet.