Combinatorial Games in Lean
Posted 7 hours ago by
wertyk
7
points
https://github.com/vihdzp/combinatorial-games
0
comments