Combinatorial Games in LeanBy wertyk · 2026-07-11 · 2 points · 0 commentshttps://github.com/vihdzp/combinatorial-gamesBy wertyk · 2 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews