L

Mathlib.SetTheory.Game.Domineering

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.domineering.L

Lean4

/-- The `L` shaped Domineering board, in which Left is exactly half a move ahead. -/
def L :=
  domineering [(0, 2), (0, 1), (0, 0), (1, 0)].toFinset

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru