Bagnall, Alexander, Samuel Merten, and Gordon Stewart. “A Library for Algorithmic Game Theory in Ssreflect/Coq”. Journal of Formalized Reasoning 10, no. 1 (January 1, 2017): 67–95. Accessed September 29, 2022. https://jfr.unibo.it/article/view/7235.