Combinatorial Games in Lean

(github.com) by wertyk | Jul 11, 2026 | 0 comments on HN