Pakiet: hol88 (2.02.19940316dfsg-5 i inne)

[ 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.34) [nie alpha, sh4]

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

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [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 (>= 3.0) [arm64]

  Biblioteka wspomagająca GCC

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

  Biblioteka wspomagająca GCC

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

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

• dep: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]

  Niezależna od warstwy transportowej biblioteka RPC

• dep: libtirpc3t64 (>= 1.0.2) [nie ppc64, sparc64, x32]

  Niezależna od warstwy transportowej biblioteka RPC

• dep: libx11-6

  Biblioteka X11 po stronie klienta

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	2.02.19940316dfsg-5+b1	6 179,9 KiB	69 151,0 KiB	[lista plików]
amd64	2.02.19940316dfsg-5+b1	6 624,4 KiB	59 059,0 KiB	[lista plików]
arm64	2.02.19940316dfsg-5+b1	5 942,5 KiB	66 059,0 KiB	[lista plików]
armel	2.02.19940316dfsg-5+b1	5 257,2 KiB	43 428,0 KiB	[lista plików]
armhf	2.02.19940316dfsg-5+b1	5 231,2 KiB	40 628,0 KiB	[lista plików]
hppa (port nieoficjalny)	2.02.19940316dfsg-5+b1	5 915,0 KiB	53 944,0 KiB	[lista plików]
i386	2.02.19940316dfsg-5+b1	5 616,3 KiB	41 688,0 KiB	[lista plików]
m68k (port nieoficjalny)	2.02.19940316dfsg-5+b1	4 432,3 KiB	41 508,0 KiB	[lista plików]
mips64el	2.02.19940316dfsg-5+b1	5 426,8 KiB	67 359,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2.02.19940316dfsg-5+b1	5 816,2 KiB	127 455,0 KiB	[lista plików]
ppc64el	2.02.19940316dfsg-5+b1	5 920,0 KiB	125 791,0 KiB	[lista plików]
riscv64	2.02.19940316dfsg-5+b1	6 154,8 KiB	57 055,0 KiB	[lista plików]
s390x	2.02.19940316dfsg-5+b1	6 939,4 KiB	60 735,0 KiB	[lista plików]
sh4 (port nieoficjalny)	2.02.19940316dfsg-5+b1	5 640,9 KiB	38 984,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	2.02.19940316dfsg-5+b1	5 235,4 KiB	70 439,0 KiB	[lista plików]
x32 (port nieoficjalny)	2.02.19940316dfsg-5+b1	6 536,9 KiB	42 512,0 KiB	[lista plików]