Combinatorial Games in Lean

**Combinatorial Games in Lean: A Useful Tool for Prototyping and Internal Workflows** Combinatorial Games in Lean is an open-source project that offers a practi