Auction Theory Toolbox – Computer Verified Auctions (Mizar)

For now, please see the old homepage.