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

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

Теги: Инструментарий интерфейса: Ncurses TUI

Другие пакеты, относящиеся к hol88

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

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

• dep: libc6 (>= 2.13) [s390x]

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

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

  dep: libc6 (>= 2.4) [armel, armhf, 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, armhf]

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

• dep: libgmp10

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

• dep: libreadline6 (>= 6.0)

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

• dep: libx11-6

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

Загрузка hol88

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	10 840,8 Кб	60 975,0 Кб	[список файлов]
armel	12 107,9 Кб	54 589,0 Кб	[список файлов]
armhf	11 203,9 Кб	50 877,0 Кб	[список файлов]
i386	8 423,5 Кб	39 577,0 Кб	[список файлов]
ia64	9 571,9 Кб	264 668,0 Кб	[список файлов]
kfreebsd-amd64	10 873,6 Кб	84 101,0 Кб	[список файлов]
kfreebsd-i386	8 448,4 Кб	62 623,0 Кб	[список файлов]
mips	8 218,5 Кб	42 445,0 Кб	[список файлов]
mipsel	7 901,7 Кб	42 849,0 Кб	[список файлов]
powerpc	9 252,8 Кб	49 181,0 Кб	[список файлов]
s390	9 772,7 Кб	41 665,0 Кб	[список файлов]
s390x	11 488,1 Кб	64 083,0 Кб	[список файлов]
sparc	5 329,2 Кб	28 784,0 Кб	[список файлов]