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

Paket: hol88 (2.02.19940316-35 och andra)

Länkar för hol88

Screenshot

Debianresurser:

Hämta källkodspaketet hol88:

Ansvarig:

Liknande paket:

Higher Order Logic, system image

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.

Märken: Interface Toolkit: Ncurses TUI

Andra paket besläktade med hol88

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta hol88

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 2.02.19940316-35+b1 6.516,0 kbyte73.104,0 kbyte [filförteckning]
amd64 2.02.19940316-35+b1 6.874,5 kbyte59.960,0 kbyte [filförteckning]
arm64 2.02.19940316-35+b1 6.204,0 kbyte67.524,0 kbyte [filförteckning]
armel 2.02.19940316-35+b1 5.572,7 kbyte46.233,0 kbyte [filförteckning]
armhf 2.02.19940316-35+b1 5.352,4 kbyte40.921,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 2.02.19940316-35+b1 6.217,4 kbyte55.073,0 kbyte [filförteckning]
i386 2.02.19940316-35+b1 5.891,3 kbyte44.705,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 2.02.19940316-35+b1 4.567,9 kbyte44.013,0 kbyte [filförteckning]
mips64el 2.02.19940316-35+b1 5.716,6 kbyte67.165,0 kbyte [filförteckning]
mipsel 2.02.19940316-35+b1 5.533,7 kbyte51.530,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 2.02.19940316-35 4.650,8 kbyte53.372,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 2.02.19940316-35+b1 6.045,2 kbyte114.976,0 kbyte [filförteckning]
ppc64el 2.02.19940316-35+b1 6.116,5 kbyte113.824,0 kbyte [filförteckning]
s390x 2.02.19940316-35+b1 6.500,1 kbyte61.604,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 2.02.19940316-35+b1 5.914,5 kbyte39.897,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 2.02.19940316-35 4.888,2 kbyte68.735,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 2.02.19940316-35+b1 6.835,0 kbyte45.453,0 kbyte [filförteckning]