Bagnall, A., Merten, S., & Stewart, G. (2017). A Library for Algorithmic Game Theory in Ssreflect/Coq. Journal of Formalized Reasoning, 10(1), 67–95. https://doi.org/10.6092/issn.1972-5787/7235