Combinatorial Games in Lean

(github.com)

7 points | by wertyk 14 hours ago

No comments yet.