Auction Theory Toolbox – Computer Verified Auctions (CASL)

For now, please see the old homepage.