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