Combinatorial Games in Lean
Other: formalization of combinatorial games
(github.com)
view on HackerNews
Lean
combinatorial games
game theory
formalization
Lean 4.
Author: wertyk
Date: 7/11/2026
Article Summary:
A GitHub repository containing a formalization of combinatorial game theory in Lean 4.