@inproceedings{jpck-itp18, author = {Julian Parsert and Cezary Kaliszyk}, title = {Towards Formal Foundations for Game Theory}, booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018}, pages = {495--503}, year = {2018}, doi = {10.1007/978-3-319-94821-8_29}, url = {https://doi.org/10.1007/978-3-319-94821-8_29}, editor = {Jeremy Avigad and Assia Mahboubi}, series = {LNCS}, volume = {10895}, publisher = {Springer}, }