A number game is a recursively defined normal-play partizan game whose options are number games and every left option is smaller than every right option. Its value is the simplest surreal number between those options. Finite number games have dyadic rational values.
New to topics? Read the docs here!