Combinatorial Games in Lean

7 pointsposted 13 hours ago
by wertyk
(github.com)

No comments yet