Publications Publications None yet! Talks “Combinatorial and positional games in Lean” at Leaning In 2025 about this work