vihdzp / combinatorial-gamesLinks

Combinatorial game library in Lean 4
24Updated last month

Alternatives and similar repositories for combinatorial-games

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

Sorting: