HOL4定理证明系统入门:从安装到第一个定理证明的完整指南
HOL4定理证明系统入门:从安装到第一个定理证明的完整指南 【免费下载链接】HOL Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forw…
2026/7/22 20:19:39