GitHub repository: pPomCo/coq-incomplete-games-rjcia2021
Primary language: Coq
Description: Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)