all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: hol88  ]

Package: hol88 (2.02.19940316-13.1)

Links for hol88

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

Higher Order Logic - systemaftryk

HOL-systemet er et miljø for interaktive beviser for læresætninger i en højere logik. Dens mest imponerende funktion er dens høje grad af programmerbarhed via metasproget ML. Systemet har en bred vifte af brug fra formalisering af ren matematik til verificering af industriel programmel. Akademiske og industrielle sider over hele verden bruger HOL.

Other Packages Related to hol88

  • depends
  • recommends
  • suggests
  • enhances

Download hol88

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 14,057.6 kB74,704.0 kB [list of files]
armel 12,673.8 kB54,588.0 kB [list of files]
i386 11,742.7 kB48,420.0 kB [list of files]
ia64 11,637.0 kB270,024.0 kB [list of files]
kfreebsd-amd64 13,859.4 kB96,722.0 kB [list of files]
kfreebsd-i386 11,760.5 kB71,538.0 kB [list of files]
mips 13,995.3 kB56,948.0 kB [list of files]
mipsel 13,257.3 kB56,976.0 kB [list of files]
powerpc 13,834.0 kB61,196.0 kB [list of files]
s390 13,964.5 kB52,112.0 kB [list of files]
sparc 13,202.6 kB59,648.0 kB [list of files]