项目介绍
thery/hanoi 是一个托管在 GitHub 上的开源项目，主要使用 Rocq Prover 编写，采用 MIT License 许可证，目前获得 26 个 Star、2 次 Fork。
- 仓库全名
- thery/hanoi
- 开源许可证
- MIT License
- Star 数
- 26
- Fork 数
- 2
README 摘要
hanoi [docker-action-link]: https://github.com/thery/hanoi/actions/workflows/docker-action.yml Hanoi tower in Rocq File | Content | extra | Extra theorems from the standard library | gdist | Distance in a graph | ghanoi | General Hanoi framework | ghanoi3 | General Hanoi framework with 3 pegs | lhanoi3 | Linear Hanoi tower with 3 pegs | rhanoi3 | Regular Hanoi tower with 3 pegs | triangular | Theorems about…
完整内容见 GitHub 原始 README 或本页 。
常见问题
hanoi 用什么语言开发？
主要使用 Rocq Prover 编写，采用 MIT License 许可证，目前有 26 个 Star。
hanoi 可以免费商用吗？
仓库采用 MIT License 许可证，可免费使用与修改，商业使用请遵守许可证条款（例如保留版权声明与许可声明）。
如何获取 hanoi 的源码？
可以直接克隆仓库：git clone https://github.com/thery/hanoi.git，默认分支为 master；安装与运行步骤见仓库 README。
hanoi 最近还在维护吗？
仓库最近一次更新为 1 周前，当前没有未关闭的 Issue；Star 数为 26，可作为社区活跃度的参考。
相关仓库
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
评论