Finite VCG and Groves Payments in Lean

Contributed by Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

Source files

Download source .zip

root filemain.tex · root file22 KiB · SHA-256 ab4e0f6122171d9f… · view text auxiliary filereferences.bib3 KiB · SHA-256 9d5301d0640ed862… · view text

Back to the main record