Paketti: hol88-library (2.02.19940316dfsg-8)

Links for hol88-library

Debian-palvelut:

Imuroi lähdekoodipaketti hol88:

Ylläpitäjä:

Camm Maguire (Laadunvalvontasivu)

Samankaltaisia paketteja:

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.

Imuroi hol88-library

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	5,294.1 kt	50,466.0 kt	[tiedostoluettelo]
amd64	5,023.9 kt	45,108.0 kt	[tiedostoluettelo]
arm64	5,014.2 kt	45,608.0 kt	[tiedostoluettelo]
armel	4,834.6 kt	32,040.0 kt	[tiedostoluettelo]
armhf	5,019.9 kt	32,055.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	6,183.6 kt	41,100.0 kt	[tiedostoluettelo]
i386	4,728.3 kt	31,552.0 kt	[tiedostoluettelo]
loong64 (epävirallinen siirros)	6,370.0 kt	63,346.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	4,927.2 kt	37,294.0 kt	[tiedostoluettelo]
mips64el	5,425.5 kt	50,008.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	5,228.7 kt	50,445.0 kt	[tiedostoluettelo]
ppc64el	5,397.1 kt	52,789.0 kt	[tiedostoluettelo]
riscv64	10,985.9 kt	151,816.0 kt	[tiedostoluettelo]
s390x	5,079.0 kt	44,818.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	4,947.4 kt	33,059.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	5,016.3 kt	47,357.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	4,923.2 kt	35,674.0 kt	[tiedostoluettelo]