HOL theorem-proving system - 项目摘要 |
摘要
| 管理 |
论坛 文档
| 软件包 |
|
|
|
项目描述: |
HOL theorem-proving system - HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
HOL theorem-proving system - HOL 是为Higher Order Logic提供理论的。她从各种存在的理论而来又不同于数学和电脑理论。 |
类别: |
|
发布者:
duck_zss1
|
|
最新发布源码包 |
软件包 |
版本号 |
日期 |
本地下载 |
HOL theorem-proving system |
 6.0  |
2003-03-29 |
下载 |
|
|