alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Källkod: hol88  ]

Paket: hol88-library (2.02.19940316-35)

Länkar för hol88-library

Screenshot

Debianresurser:

Hämta källkodspaketet hol88:

Ansvarig:

Liknande paket:

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 Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 2.403,1 kbyte31.182,0 kbyte [filförteckning]
amd64 3.070,6 kbyte27.007,0 kbyte [filförteckning]
arm64 3.088,6 kbyte27.674,0 kbyte [filförteckning]
armel 2.860,0 kbyte16.123,0 kbyte [filförteckning]
armhf 2.866,5 kbyte14.411,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 3.597,4 kbyte23.409,0 kbyte [filförteckning]
hurd-i386 2.757,9 kbyte15.825,0 kbyte [filförteckning]
i386 2.875,3 kbyte15.859,0 kbyte [filförteckning]
kfreebsd-amd64 3.068,6 kbyte26.998,0 kbyte [filförteckning]
kfreebsd-i386 2.830,5 kbyte15.637,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 2.967,2 kbyte20.577,0 kbyte [filförteckning]
mips 2.914,6 kbyte17.259,0 kbyte [filförteckning]
mips64el 3.272,3 kbyte29.098,0 kbyte [filförteckning]
mipsel 3.027,3 kbyte17.260,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 2.924,1 kbyte19.886,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 3.092,9 kbyte29.959,0 kbyte [filförteckning]
ppc64el 3.156,5 kbyte29.246,0 kbyte [filförteckning]
s390x 2.853,7 kbyte25.269,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 3.018,4 kbyte15.843,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 2.971,9 kbyte28.004,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 2.857,3 kbyte18.036,0 kbyte [filförteckning]