Economist’s guide to mechanized reasoning OR: proving 84 impossibility theoremshttp://cs.bham.ac.uk/research/projects/formare/pubs/ice2012/2012-07-25-ice-mech-reas-econ.pdf by gtani • 14 years ago 1 0 14 years agoCScs.bham.ac.uk