Caminati, Marco B.Marco B.CaminatiKerber, ManfredManfredKerberLange, ChristophChristophLangeRowat, ColinColinRowat2022-03-132022-03-132014https://publica.fraunhofer.de/handle/publica/399710In 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.en005006629conference paper