» Ubuntu » パッケージ » lucid (10.04LTS) » math » hol88-library-source
lucid  ] [  precise  ] [  trusty  ] [  utopic  ] [  vivid  ]
[ ソース: hol88  ]

パッケージ: hol88-library-source (2.02.19940316-9) [universe]

hol88-library-source に関するリンク


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, library source 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-library-source のダウンロード

アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 550.3 kB4,284.0 kB [ファイル一覧]