[PPT] - ForMaRE Formal Mathematical Reasoning in Economics Manfred Kerber PowerPoint Presentation