alla flaggor
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Källkod: hol88  ]

Paket: hol88 (2.02.19940316-15)

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 Paketstorlek Installerad storlek Filer
amd64 10.840,8 kbyte60.975,0 kbyte [filförteckning]
armel 12.107,9 kbyte54.589,0 kbyte [filförteckning]
armhf 11.203,9 kbyte50.877,0 kbyte [filförteckning]
i386 8.423,5 kbyte39.577,0 kbyte [filförteckning]
ia64 9.571,9 kbyte264.668,0 kbyte [filförteckning]
kfreebsd-amd64 10.873,6 kbyte84.101,0 kbyte [filförteckning]
kfreebsd-i386 8.448,4 kbyte62.623,0 kbyte [filförteckning]
mips 8.218,5 kbyte42.445,0 kbyte [filförteckning]
mipsel 7.901,7 kbyte42.849,0 kbyte [filförteckning]
powerpc 9.252,8 kbyte49.181,0 kbyte [filförteckning]
s390 9.772,7 kbyte41.665,0 kbyte [filförteckning]
s390x 11.488,1 kbyte64.083,0 kbyte [filförteckning]
sparc 5.329,2 kbyte28.784,0 kbyte [filförteckning]