ForMaRE

swMATH8774MaRDI QIDQ20774FDOQ20774

Author name not available (Why is that?)

Cited In (3)

• The ForMaRE Project – Formal Mathematical Reasoning in Economics
• Towards formal foundations for game theory
• Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

This page was built for software: ForMaRE