Combinatorial Games in Lean

7 points | by wertyk 14 hours ago