Pakiet: hol88-library (2.02.19940316dfsg-8)

Odnośniki dla hol88-library

Zasoby systemu Debian:

Pobieranie pakietu źródłowego hol88:

Opiekun:

Camm Maguire (Strona QA)

Podobne pakiety:

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.

Pobieranie hol88-library

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5 294,1 KiB	50 466,0 KiB	[lista plików]
amd64	5 023,9 KiB	45 108,0 KiB	[lista plików]
arm64	5 014,2 KiB	45 608,0 KiB	[lista plików]
armel	4 834,6 KiB	32 040,0 KiB	[lista plików]
armhf	5 019,9 KiB	32 055,0 KiB	[lista plików]
hppa (port nieoficjalny)	6 183,6 KiB	41 100,0 KiB	[lista plików]
i386	4 728,3 KiB	31 552,0 KiB	[lista plików]
loong64 (port nieoficjalny)	6 370,0 KiB	63 346,0 KiB	[lista plików]
m68k (port nieoficjalny)	4 927,2 KiB	37 294,0 KiB	[lista plików]
mips64el	5 425,5 KiB	50 008,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5 228,7 KiB	50 445,0 KiB	[lista plików]
ppc64el	5 397,1 KiB	52 789,0 KiB	[lista plików]
riscv64	10 985,9 KiB	151 816,0 KiB	[lista plików]
s390x	5 079,0 KiB	44 818,0 KiB	[lista plików]
sh4 (port nieoficjalny)	4 947,4 KiB	33 059,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5 016,3 KiB	47 357,0 KiB	[lista plików]
x32 (port nieoficjalny)	4 923,2 KiB	35 674,0 KiB	[lista plików]