HOL-Theorem-Prover

HOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。