a version of the 2048 game for Rocq
- Author(s):
- Laurent Théry
- License: MIT License
- Additional dependencies: none
- Rocq/Coq namespace:
T2048 - Related publication(s): none
To build and install manually, do:
git clone https://github.com/thery/T2048.git
cd T2048
make # or make -j <number-of-cores-on-your-machine>
make install