Documentation Browse the Coq formalization online, see also https://ppomco.github.io/coq-incomplete-games-rjcia2021 Game forms and dependencies