všetky možnosti
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Zdroj: hol88  ]

Balík: hol88-library (2.02.19940316-35)

Odkazy pre hol88-library

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík hol88:

Správca:

Podobné balíky:

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.

Stiahnuť hol88-library

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 2,403.1 kB31,182.0 kB [zoznam súborov]
amd64 3,070.6 kB27,007.0 kB [zoznam súborov]
arm64 3,088.6 kB27,674.0 kB [zoznam súborov]
armel 2,860.0 kB16,123.0 kB [zoznam súborov]
armhf 2,866.5 kB14,411.0 kB [zoznam súborov]
hppa (neoficiálny port) 3,597.4 kB23,409.0 kB [zoznam súborov]
hurd-i386 2,757.9 kB15,825.0 kB [zoznam súborov]
i386 2,875.3 kB15,859.0 kB [zoznam súborov]
kfreebsd-amd64 3,068.6 kB26,998.0 kB [zoznam súborov]
kfreebsd-i386 2,830.5 kB15,637.0 kB [zoznam súborov]
m68k (neoficiálny port) 2,967.2 kB20,577.0 kB [zoznam súborov]
mips 2,914.6 kB17,259.0 kB [zoznam súborov]
mips64el 3,272.3 kB29,098.0 kB [zoznam súborov]
mipsel 3,027.3 kB17,260.0 kB [zoznam súborov]
powerpcspe (neoficiálny port) 2,924.1 kB19,886.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 3,092.9 kB29,959.0 kB [zoznam súborov]
ppc64el 3,156.5 kB29,246.0 kB [zoznam súborov]
s390x 2,853.7 kB25,269.0 kB [zoznam súborov]
sh4 (neoficiálny port) 3,018.4 kB15,843.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 2,971.9 kB28,004.0 kB [zoznam súborov]
x32 (neoficiálny port) 2,857.3 kB18,036.0 kB [zoznam súborov]