T2048

a version of the 2048 game for Rocq

Meta

• Author(s):
  • Laurent Théry
• License: MIT License
• Additional dependencies: none
• Rocq/Coq namespace: T2048
• Related publication(s): none

Building and installation instructions

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