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