» Ubuntu » 软件包 » lucid (10.04LTS) » math » hol88-contrib-help
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ 源代码: hol88  ]

软件包: hol88-contrib-help (2.02.19940316-9) [universe]

hol88-contrib-help 的相关链接


Ubuntu 的资源:

下载源码包 hol88:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.


Higher Order Logic, user contributed online help files

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

下载 hol88-contrib-help

硬件架构 软件包大小 安装后大小 文件
all 26.1 kB404.0 kB [文件列表]