HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverHOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。
星数
757
Fork 数
173
语言
Standard ML
许可
NOASSERTION
最后推送
2天前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
HOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。