thery / T2048

a version of the 2048 game for Coq
22Updated last year

Related projects

Alternatives and complementary repositories for T2048