Combinatorial Games in Lean

Combinatorial game library in Lean 4. Contribute to vihdzp/combinatorial-games development by creating an account on GitHub.

31 points by wertyk 102 days ago github.com 3 comments

Summary not yet generated for this article.

Loading more comments... ⌛

Scroll down to load more comments

No comments available.