TOTBWF / agda-tic-tac-toeLinks

Tic Tac Toe, formalized in Agda
23Updated 3 years ago

Alternatives and similar repositories for agda-tic-tac-toe

Users that are interested in agda-tic-tac-toe are comparing it to the libraries listed below

Sorting: