Options
2014
Conference Paper
Title
Reasoning about Auctions
Abstract
In the ForMaRE project formal mathematical reasoning is applied to economics. After an initial exploratory phase, it focused on auction theory and has produced, as its first results, formalized theorems and certified executable code.
