Package: hol88 (2.02.19940316dfsg-5)

Links for hol88

Debian Resources:

Download Source Package hol88:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

Higher Order Logic, immagine del sistema

Il sistema HOL è un ambiente per la dimostrazione interattiva di teoremi in una logica di ordine superiore (Higher-Order Logic). La sua caratteristica più degna di nota è il suo alto grado di programmabilità attraverso il metalinguaggio ML. Il sistema ha una vasta gamma di utilizzi, dalla formalizzazione di matematica pura alla verifica di hardware industriale. Siti accademici e industriali in tutto il mondo usano HOL.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to hol88

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

librerie BSD per la cronologia e la modifica della riga di comando
dep: libgmp10 (>= 2:6.2.1+dfsg1)

libreria aritmetica a precisione multipla
dep: libtirpc3 (>= 1.0.2)

libreria RPC indipendente dal trasporto
dep: libx11-6

libreria X11 lato client

Download hol88

Download for all available architectures
Architecture	Package Size	Installed Size	Files
mips64el	5,447.0 kB	67,326.0 kB	[list of files]