Пакунок: hol88-library (2.02.19940316dfsg-5 and others) [debports]

Links for hol88-library

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

Similar packages:

hol88
hol88-library-source
hol88-source
hol88-contrib-source
hol88-library-help
hol88-help
hol88-contrib-help
hol88-doc
hol-light
cafeobj
lem

Higher Order Logic, binary library modules

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

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
hppa (unofficial port)	2.02.19940316dfsg-5+b1	4,256.0 kB	26,340.0 kB	[список файлів]