Tarkennettu haku
squeeze  ] [  wheezy  ] [  sid  ]
[ Source: hol88  ]

Paketti: hol88 (2.02.19940316-13.1)

Links for hol88

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti hol88:

Ylläpitäjä:

Samankaltaisia paketteja:

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.

Muut pakettiin hol88 liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi hol88

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 14,057.6 kt74,704.0 kt [tiedostoluettelo]
armel 12,673.8 kt54,588.0 kt [tiedostoluettelo]
i386 11,742.7 kt48,420.0 kt [tiedostoluettelo]
ia64 11,637.0 kt270,024.0 kt [tiedostoluettelo]
kfreebsd-amd64 13,859.4 kt96,722.0 kt [tiedostoluettelo]
kfreebsd-i386 11,760.5 kt71,538.0 kt [tiedostoluettelo]
mips 13,995.3 kt56,948.0 kt [tiedostoluettelo]
mipsel 13,257.3 kt56,976.0 kt [tiedostoluettelo]
powerpc 13,834.0 kt61,196.0 kt [tiedostoluettelo]
s390 13,964.5 kt52,112.0 kt [tiedostoluettelo]
sparc 13,202.6 kt59,648.0 kt [tiedostoluettelo]