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

Пакет: hol88-library (2.02.19940316-33)

Ссылки для hol88-library

Screenshot

Ресурсы Debian:

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

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

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

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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 3 025,6 Кб26 884,0 Кб [список файлов]
arm64 3 033,2 Кб27 297,0 Кб [список файлов]
armel 2 847,3 Кб16 073,0 Кб [список файлов]
armhf 2 847,1 Кб14 414,0 Кб [список файлов]
i386 2 816,5 Кб15 774,0 Кб [список файлов]
mips 2 891,8 Кб17 203,0 Кб [список файлов]
mips64el 3 251,9 Кб29 125,0 Кб [список файлов]
mipsel 3 012,0 Кб17 205,0 Кб [список файлов]
ppc64el 3 144,7 Кб29 429,0 Кб [список файлов]
s390x 3 043,7 Кб27 675,0 Кб [список файлов]