Auction Theory Toolbox – Isabelle

Files relevant to the Isabelle formalisation