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