Combinatorial Games in Lean
(github.com)
34 points
by wertyk
4 days ago |
3 comments
()
()
