GitHub-theoremprover-museum/HOL88：HOL系统是一个在高阶逻辑中进行交互式定理证明的环境。它最突出的特点是通过元语言ML具有高度的可编程性。

分支机构标签

姓名		姓名	上次提交消息	上次提交日期
最新提交历史 1个承诺
型钢混凝土		型钢混凝土

关于

HOL系统是在高阶逻辑中进行交互式定理证明的环境。它最突出的特点是通过元语言ML具有高度的可编程性。

自定义属性

报告存储库

发布

未发布版本

包装

未发布包

语言文字