项目介绍
thery/T2048 是一个托管在 GitHub 上的开源项目，主要使用 Rocq Prover 编写，目前获得 22 个 Star、2 次 Fork。
- 仓库全名
- thery/T2048
- Star 数
- 22
- Fork 数
- 2
README 摘要
T2048 [docker-action-link]: https://github.com/thery/T2048/actions/workflows/docker-action.yml 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, you need to make sure that all the libraries this development depends on are…
完整内容见 GitHub 原始 README 或本页 。
常见问题
T2048 用什么语言开发？
主要使用 Rocq Prover 编写，目前有 22 个 Star。
如何获取 T2048 的源码？
可以直接克隆仓库：git clone https://github.com/thery/T2048.git，默认分支为 master；安装与运行步骤见仓库 README。
T2048 最近还在维护吗？
仓库最近一次更新为 2 周前，当前没有未关闭的 Issue；Star 数为 22，可作为社区活跃度的参考。
相关仓库
An axiom-free formalization of category theory in Coq for personal study and practical work
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
评论