Auction Theory Toolbox (ATT)

For further information and contacting the developers, please go to the project homepage.

The formalisations in this archive are subject to the ISC and CC-BY licences.

Name		Name	Last commit message	Last commit date
Latest commit History 1,222 Commits
CATS		CATS
casl		casl
isabelle		isabelle
mizar		mizar
paper		paper
scala		scala
theorema		theorema
tptp		tptp
.gitignore		.gitignore
LICENSE		LICENSE
LICENSE-CC-BY		LICENSE-CC-BY
LICENSE-ISC		LICENSE-ISC
Makefile		Makefile
Makefile.in		Makefile.in
Makefile.vars		Makefile.vars
README.org		README.org
SYNC_FILES		SYNC_FILES
index.php		index.php
sidebar.php		sidebar.php

formare/auctions