Combinatorial Games in Lean

2 points | by wertyk 2 hours ago