Definitionintro
Game tree
Also called game graph, game search tree.
Rooted tree whose nodes are game positions and whose edges are legal moves; leaves are terminal positions.
Rooted tree whose nodes are game positions and whose edges are legal moves; leaves are terminal positions.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 4P38GP Edit this page History Report an error