T2048

a version of the 2048 game for Coq

GitHub
22 stars
2 watching
1 forks
Language: Coq
last commit: 11 months ago
Linked from 2 awesome lists

2048coqgame

Backlinks from these awesome lists: