all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: hol88  ]

Package: hol88-library (2.02.19940316-33)

Links for hol88-library

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

Higher Order Logic - binære biblioteksmoduler

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.

Download hol88-library

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 3,025.6 kB26,884.0 kB [list of files]
arm64 3,033.2 kB27,297.0 kB [list of files]
armel 2,847.3 kB16,073.0 kB [list of files]
armhf 2,847.1 kB14,414.0 kB [list of files]
i386 2,816.5 kB15,774.0 kB [list of files]
mips 2,891.8 kB17,203.0 kB [list of files]
mips64el 3,251.9 kB29,125.0 kB [list of files]
mipsel 3,012.0 kB17,205.0 kB [list of files]
ppc64el 3,144.7 kB29,429.0 kB [list of files]
s390x 3,043.7 kB27,675.0 kB [list of files]