summaryrefslogtreecommitdiffstats
path: root/proof.tex
AgeCommit message (Expand)Author
2012-10-23Some typo fixes, lemmas for the mechanism propertiesThibaut Horel
2012-10-22Proof of lemma 3 (bound on the relaxations of the value function)Thibaut Horel
2012-10-22Add a proof.tex file with the beginning of the proofThibaut Horel