Package: hol88 (2.02.19940316dfsg-5)

[ Source: hol88  ]

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.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to hol88

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  BSD-redigeringslinje og historikbiblioteker

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Bibliotek til multipræcision i aritmetik

• dep: libtirpc3 (>= 1.0.2)

  transportuafhængigt RPC-bibliotek

• dep: libx11-6

  X11 klientside bibliotek

Download hol88

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64el	5,912.5 kB	113,438.0 kB	[list of files]