2 ms·Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems1 points by gtani 14y ago