项目介绍
rocq-community/autosubst 是一个托管在 GitHub 上的开源项目，主要使用 Coq 编写，采用 MIT License 许可证，目前获得 69 个 Star、15 次 Fork。
- 仓库全名
- rocq-community/autosubst
- 开源许可证
- MIT License
- Star 数
- 69
- Fork 数
- 15
- 未关闭 Issue
- 7
README 摘要
Autosubst [docker-action-link]: https://github.com/coq-community/autosubst/actions?query=workflow:"Docker%20CI" [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md [conduct-link]: https://github.com/coq-community/manifesto/blob/master/CODEOFCONDUCT.md [zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users [doi-link]…
完整内容见 GitHub 原始 README 或本页 。
常见问题
autosubst 用什么语言开发？
主要使用 Coq 编写，采用 MIT License 许可证，目前有 69 个 Star。
autosubst 可以免费商用吗？
仓库采用 MIT License 许可证，可免费使用与修改，商业使用请遵守许可证条款（例如保留版权声明与许可声明）。
如何获取 autosubst 的源码？
可以直接克隆仓库：git clone https://github.com/rocq-community/autosubst.git；安装与运行步骤见仓库 README。
autosubst 最近还在维护吗？
仓库最近一次更新为 2024年9月17日，当前有 7 个未关闭 Issue；Star 数为 69，可作为社区活跃度的参考。
相关仓库
Kami -一种用于在Coq中设计硬件的数字化用户界面，以及用于证明其正确性的相关语义和定理。Kami的灵感来自Bluespec。它实际上是对麻省理工学院旧版本的完全重写
【原创，已被编入官方教材】Three-level storage subsystem(SD+DDR2 SDRAM+Cache), based on Nexys4 FPGA board. 同济大学计算机系统结构课程设计，FPGA三级存储子系统。
Kirby和Paris的Hydra战斗和Coq中其他有趣数学的变体（协作、记录、包括练习）[maintainer=@Casteran]
使用 Verilog HDL 在 FPGA 中实现二立方插值
评论