G
ale
S
tewart_
G
ames
MoreCoinductiveList2
MoreENat
MorePrefix
AlternatingLists
GaleStewartGames
GaleStewartDefensiveStrategies
GaleStewartDeterminedGames