Auction Theory Toolbox (ATT) – Mizar

Files relevant to the Mizar formalisation

How to run

  1. Obtain and install the Mizar system. Our code was tested on version 8.1.01 (see comments in vickrey.miz's header for details). Note that the latest releases are available only in the architecture-specific directories.
  2. Create a directory, change into it, and extract the ZIP archive.
  3. Run mizf ./text/vickrey and expect no errors :-)

This page was last modified on 04 September 2013.