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)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-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: 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

• dep: libx11-6

  Biblioteka X11 po stronie klienta

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
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]
i386	2.02.19940316dfsg-5+b1	5 616,3 KiB	41 688,0 KiB	[lista plików]
mips64el	2.02.19940316dfsg-5+b1	5 426,8 KiB	67 359,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]