T2048

  • 语言Rocq Prover
  • 默认分支master
  • 大小51 KB
  • 更新2 周前
在 GitHub 打开

README

T2048

Docker CI

T2048

a version of the 2048 game for Rocq

2048

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, you need to make sure that all the libraries this development depends on are installed. The easiest way to do that is still to rely on opam:

git clone https://github.com/thery/T2048.git
cd T2048
opam repo add rocq-released https://rocq-prover.org/opam/released
opam install --deps-only .
make   # or make -j <number-of-cores-on-your-machine> 
make install

评论

暂无评论