всички настройки
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 кБ [списък на файловете]