Documentation

LeanPool.AFormalizationOfBorelDeterminacyInLean.Game

Imports

Init
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.BuildStrategies
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.GaleStewart
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.Games
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.Player
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.Strategies
LeanPool.AFormalizationOfBorelDeterminacyInLean.Game.Undetermined

Imported by

Game index #

Import-only index for Gale-Stewart game definitions, strategies, and examples.