GitHub repository: vihdzp/combinatorial-games
Primary language: Lean
Created: 2025-02-25T05:02:12Z
Description: Combinatorial game library in Lean 4