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