Auction Theory Toolbox – Computer Verified Auctions (Isabelle)

For now, please see the old homepage.