Auction Theory Toolbox – Computer Verified Auctions (Theorema)

For now, please see the old homepage.