Pakiet: hol88 (2.02.19940316dfsg-6)

Odnośniki dla hol88

Zasoby systemu Debian:

Pobieranie pakietu źródłowego hol88:

Opiekun:

Camm Maguire (Strona QA)

Podobne pakiety:

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

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38)

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 (>= 4.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

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	11 679,2 KiB	239 349,0 KiB	[lista plików]
arm64	10 991,2 KiB	245 409,0 KiB	[lista plików]
armel	9 753,9 KiB	198 302,0 KiB	[lista plików]
armhf	9 740,6 KiB	192 158,0 KiB	[lista plików]
i386	10 145,1 KiB	190 194,0 KiB	[lista plików]
ppc64el	10 970,2 KiB	269 985,0 KiB	[lista plików]
riscv64	11 367,1 KiB	239 625,0 KiB	[lista plików]
s390x	12 072,2 KiB	213 001,0 KiB	[lista plików]