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

Paket: hol88-library (2.02.19940316-35 och andra)

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 Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 2.02.19940316-35+b1 4.035,2 kbyte38.793,0 kbyte [filförteckning]
amd64 2.02.19940316-35+b1 3.825,6 kbyte34.719,0 kbyte [filförteckning]
arm64 2.02.19940316-35+b1 3.808,6 kbyte34.943,0 kbyte [filförteckning]
armel 2.02.19940316-35+b1 3.413,7 kbyte20.898,0 kbyte [filförteckning]
armhf 2.02.19940316-35+b1 3.502,3 kbyte20.072,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 2.02.19940316-35+b1 4.108,6 kbyte26.481,0 kbyte [filförteckning]
i386 2.02.19940316-35+b1 3.551,3 kbyte21.667,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 2.02.19940316-35+b1 3.711,7 kbyte28.367,0 kbyte [filförteckning]
mips64el 2.02.19940316-35+b1 3.956,8 kbyte37.073,0 kbyte [filförteckning]
mipsel 2.02.19940316-35+b1 3.776,5 kbyte23.574,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 2.02.19940316-35 2.924,1 kbyte19.886,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 2.02.19940316-35+b1 3.761,1 kbyte38.179,0 kbyte [filförteckning]
ppc64el 2.02.19940316-35+b1 3.880,6 kbyte37.511,0 kbyte [filförteckning]
s390x 2.02.19940316-35+b1 3.614,6 kbyte35.154,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 2.02.19940316-35+b1 3.547,5 kbyte21.133,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 2.02.19940316-35 2.971,9 kbyte28.004,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 2.02.19940316-35+b1 3.594,0 kbyte24.404,0 kbyte [filförteckning]