Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems (cs.bham.ac.uk) 1 points by gtani 14y ago ↗ HN
0 comments
[ 3.2 ms ] story [ 6.5 ms ] threadNo comments yet.