Paket: hol88 (2.02.19940316-35)

[ Källkod: hol88  ]

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.

Märken: Interface Toolkit: Ncurses TUI

Andra paket besläktade med hol88

• dep: libc6 (>= 2.15)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libreadline7 (>= 6.0)

  GNUs readline- och history-bibliotek, körtidsbibliotek

• dep: libx11-6

  X11 client-side library

Hämta hol88

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	6.264,7 kbyte	58.575,0 kbyte	[filförteckning]