vihdzp/combinatorial-games

Combinatorial game library in Lean 4

40 best points · 5 comments · 1 Hacker News post · 113 GitHub stars · View on GitHub

Hacker News discussions

• Combinatorial Games in Lean (40 points, 5 comments, by wertyk, 2026-07-11)