все параметры
squeeze  ] [  wheezy  ] [  sid  ]
[ Источник: hol88  ]

Пакет: hol88 (2.02.19940316-13.1)

Ссылки для hol88

Screenshot

Ресурсы Debian:

Исходный код hol88:

Сопровождающий:

Подобные пакеты:

Higher Order Logic, system image

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

  • зависимости
  • рекомендации
  • предложения

Загрузка hol88

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 14 057,6 Кб74 704,0 Кб [список файлов]
armel 12 673,8 Кб54 588,0 Кб [список файлов]
i386 11 742,7 Кб48 420,0 Кб [список файлов]
ia64 11 637,0 Кб270 024,0 Кб [список файлов]
kfreebsd-amd64 13 859,4 Кб96 722,0 Кб [список файлов]
kfreebsd-i386 11 760,5 Кб71 538,0 Кб [список файлов]
mips 13 995,3 Кб56 948,0 Кб [список файлов]
mipsel 13 257,3 Кб56 976,0 Кб [список файлов]
powerpc 13 834,0 Кб61 196,0 Кб [список файлов]
s390 13 964,5 Кб52 112,0 Кб [список файлов]
sparc 13 202,6 Кб59 648,0 Кб [список файлов]