https://github.com/thery/t2048

a version of the 2048 game for Coq
https://github.com/thery/t2048

2048 coq game

Last synced: 3 months ago
JSON representation

a version of the 2048 game for Coq

• Host: GitHub
• URL: https://github.com/thery/t2048
• Owner: thery
• Created: 2020-02-13T16:29:13.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2023-10-31T00:40:22.000Z (over 1 year ago)
• Last Synced: 2024-10-11T21:51:27.019Z (4 months ago)
• Topics: 2048, coq, game
• Language: Coq
• Size: 44.9 KB
• Stars: 22
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        

# T2048

[![Docker CI][docker-action-shield]][docker-action-link]

[docker-action-shield]: https://github.com/thery/T2048/workflows/Docker%20CI/badge.svg?branch=master

[docker-action-link]: https://github.com/thery/T2048/actions?query=workflow:"Docker%20CI"

# T2048

a version of the 2048 game for Coq

![2048](./2048.png)

## Meta

- Author(s):

  - Laurent Théry

- License: [MIT License](LICENSE)

- Compatible Coq versions: 8.18 or later

- Additional dependencies: none

- Coq namespace: `T2048`

- Related publication(s): none

## Building and installation instructions

To build and install manually, do:

``` shell

git clone https://github.com/thery/T2048.git

cd T2048

make   # or make -j  

make install

```