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

Връзки за hol88-library

Ресурси за Debian:

Изтегляне на пакет-източник hol88.

Отговорник:

Camm Maguire (Страница за QA)

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

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

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	5 294,1 кБ	50 466,0 кБ	[списък на файловете]
amd64	5 023,9 кБ	45 108,0 кБ	[списък на файловете]
arm64	5 014,2 кБ	45 608,0 кБ	[списък на файловете]
armel	4 834,6 кБ	32 040,0 кБ	[списък на файловете]
armhf	5 019,9 кБ	32 055,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	6 183,6 кБ	41 100,0 кБ	[списък на файловете]
i386	4 728,3 кБ	31 552,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	6 370,0 кБ	63 346,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	4 927,2 кБ	37 294,0 кБ	[списък на файловете]
mips64el	5 425,5 кБ	50 008,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	5 228,7 кБ	50 445,0 кБ	[списък на файловете]
ppc64el	5 397,1 кБ	52 789,0 кБ	[списък на файловете]
riscv64	10 985,9 кБ	151 816,0 кБ	[списък на файловете]
s390x	5 079,0 кБ	44 818,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	4 947,4 кБ	33 059,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	5 016,3 кБ	47 357,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	4 923,2 кБ	35 674,0 кБ	[списък на файловете]