Combinatorial Games in Lean

 (github.com)

7 points | by wertyk  a day ago

No comments yet.