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

[ Источник: 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

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc0.1-udeb

• dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  библиотека Embedded GNU C (динамические библиотеки)
  также виртуальный пакет, предоставляемый libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel]

  вспомогательная библиотека GCC

• dep: libgmp3c2

  библиотека для работы с числами произвольной точности

• dep: libncurses5 (>= 5.7+20100313)

  разделяемые библиотеки для управления терминалом

• dep: libreadline6 (>= 6.0)

  Библиотеки GNU readline и history, выполняемые библиотеки

• dep: libx11-6

  библиотека X11 для клиентской стороны

Загрузка 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 Кб	[список файлов]