Geeks
Tridu33
/
T2048
a version of the 2048 game for Coq
Primary Language
Coq
T2048 GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
Watchers
No one’s watching this repository yet.