all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: hol88  ]

Package: hol88 (2.02.19940316dfsg-5 and others)

Links for hol88

Screenshot

Debian Resources:

Download Source Package hol88:

Maintainer:

Similar packages:

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.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to hol88

  • depends
  • recommends
  • suggests
  • enhances

Download hol88

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 2.02.19940316dfsg-5+b1 6,624.4 kB59,059.0 kB [list of files]
arm64 2.02.19940316dfsg-5+b1 5,942.5 kB66,059.0 kB [list of files]
armel 2.02.19940316dfsg-5+b1 5,257.2 kB43,428.0 kB [list of files]
armhf 2.02.19940316dfsg-5+b1 5,231.2 kB40,628.0 kB [list of files]
i386 2.02.19940316dfsg-5+b1 5,616.3 kB41,688.0 kB [list of files]
mips64el 2.02.19940316dfsg-5+b1 5,426.8 kB67,359.0 kB [list of files]
ppc64el 2.02.19940316dfsg-5+b1 5,920.0 kB125,791.0 kB [list of files]
riscv64 2.02.19940316dfsg-5+b1 6,154.8 kB57,055.0 kB [list of files]
s390x 2.02.19940316dfsg-5+b1 6,939.4 kB60,735.0 kB [list of files]