ForMaRE applies formal mathematical reasoning to economics.
This wiki is being phased out and replaced by a Planetary site. We will keep it for archival purposes for a while.
Topics in this wiki
- Formalising “100” Theorems in Economics
- List of peer-reviewed publications on mechanised reasoning in economics, plus code
- An Economist's Tutorial to Mechanised Reasoning (for now, please refer to our presentation at ICE 2012)