[math-fun] Combinatorial game theory and checkers