ForMaRE
From MaRDI portal
Software:20774
No author found.
Related Items (3)
Towards formal foundations for game theory ⋮ Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? ⋮ The ForMaRE Project – Formal Mathematical Reasoning in Economics
This page was built for software: ForMaRE
