vihdzp / combinatorial-games

Combinatorial game library in Lean 4
17Updated this week

Alternatives and similar repositories for combinatorial-games:

Users that are interested in combinatorial-games are comparing it to the libraries listed below