Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis (nchammas.com) 6 points by nchammas 9y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 8.0 ms ] threadNo comments yet.