/coq-incomplete-games-rjcia2021

Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.