Paket: hol88-library (2.02.19940316dfsg-5 och andra)

[ Källkod: 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.

Hämta hol88-library

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	2.02.19940316dfsg-5+b1	3.855,2 kbyte	32.160,0 kbyte	[filförteckning]
arm64	2.02.19940316dfsg-5+b1	3.836,9 kbyte	32.357,0 kbyte	[filförteckning]
armel	2.02.19940316dfsg-5+b1	3.477,3 kbyte	20.077,0 kbyte	[filförteckning]
armhf	2.02.19940316dfsg-5+b1	3.555,1 kbyte	19.330,0 kbyte	[filförteckning]
i386	2.02.19940316dfsg-5+b1	3.569,5 kbyte	20.705,0 kbyte	[filförteckning]
mips64el	2.02.19940316dfsg-5+b1	4.065,4 kbyte	34.405,0 kbyte	[filförteckning]
ppc64el	2.02.19940316dfsg-5+b1	3.992,4 kbyte	37.797,0 kbyte	[filförteckning]
riscv64	2.02.19940316dfsg-5+b1	9.635,7 kbyte	148.994,0 kbyte	[filförteckning]
s390x	2.02.19940316dfsg-5+b1	4.046,4 kbyte	32.287,0 kbyte	[filförteckning]