Documentation
LeanPool
.
AFormalizationOfBorelDeterminacyInLean
.
Game
Search
return to top
source
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
Mathlib.Tactic.NormNum.Abs
Mathlib.Tactic.NormNum.DivMod
Mathlib.Tactic.NormNum.OfScientific
Mathlib.Tactic.NormNum.Pow
Mathlib.Data.Rat.Cast.Order
Imported by
Game index
#
Import-only index for Gale-Stewart game definitions, strategies, and examples.