🦋 Игры, которым нельзя ошибаться: как Lean 4 превращает Ним и сюрреальные числа в проверяемую математику