Pakiet: hol88 (2.02.19940316dfsg-8)

[ Pakiet źródłowy: hol88  ]

Logika wyższego rzędu, obraz systemu

System HOL jest środowiskiem do interaktywnego dowodzenia twierdzeń w logice wyższego rzędu. Jego najbardziej wyróżniającą się cechą jest wysoki stopień programowalności przy użyciu metajęzyka ML. System nadaje się do szerokiej gamy zastosowań, począwszy od formalizowania czystej matematyki po weryfikację sprzętu przemysłowego. Ośrodki akademickie i przemysłowe na całym świecie korzystają ze środowiska HOL.

Znaczniki: Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z hol88

• dep: libc6 (>= 2.38) [nie alpha, loong64, sh4]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.41) [loong64, sh4]

• dep: libc6.1 (>= 2.38) [alpha]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

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

  Biblioteka do edytowania wiersza poleceń i historii

• dep: libgcc-s1 (>= 4.0) [arm64]

  Biblioteka wspomagająca GCC

• dep: libgcc-s4 (>= 4.3) [hppa]

  Biblioteka wspomagająca GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libtirpc3t64 (>= 1.0.2)

  Niezależna od warstwy transportowej biblioteka RPC

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	10 715,8 KiB	192 569,0 KiB	[lista plików]
amd64	11 631,1 KiB	239 349,0 KiB	[lista plików]
arm64	10 972,6 KiB	245 409,0 KiB	[lista plików]
armel	9 680,1 KiB	198 302,0 KiB	[lista plików]
armhf	9 731,6 KiB	192 158,0 KiB	[lista plików]
hppa (port nieoficjalny)	10 316,8 KiB	168 646,0 KiB	[lista plików]
i386	10 236,4 KiB	190 194,0 KiB	[lista plików]
loong64 (port nieoficjalny)	11 478,6 KiB	245 601,0 KiB	[lista plików]
m68k (port nieoficjalny)	8 631,7 KiB	190 470,0 KiB	[lista plików]
mips64el	10 436,5 KiB	240 210,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	10 874,0 KiB	270 177,0 KiB	[lista plików]
ppc64el	11 018,6 KiB	269 985,0 KiB	[lista plików]
riscv64	11 434,6 KiB	239 625,0 KiB	[lista plików]
s390x	12 070,1 KiB	213 001,0 KiB	[lista plików]
sh4 (port nieoficjalny)	10 550,9 KiB	190 110,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	10 585,9 KiB	258 081,0 KiB	[lista plików]
x32 (port nieoficjalny)	11 313,8 KiB	190 194,0 KiB	[lista plików]