Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems

No comments yet.