├── .github └── workflows │ └── docker-action.yml ├── 2048.png ├── Makefile ├── README.md ├── T2048.v ├── _CoqProject └── coq-T2048.opam /.github/workflows/docker-action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/.github/workflows/docker-action.yml -------------------------------------------------------------------------------- /2048.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/2048.png -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/README.md -------------------------------------------------------------------------------- /T2048.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/T2048.v -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- 1 | T2048.v 2 | -------------------------------------------------------------------------------- /coq-T2048.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thery/T2048/HEAD/coq-T2048.opam --------------------------------------------------------------------------------