Pakiet: hol88 (2.02.19940316dfsg-5)

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.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.2.1+dfsg1)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libtirpc3 (>= 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	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	6 609,0 KiB	57 886,0 KiB	[lista plików]
arm64	5 893,6 KiB	65 426,0 KiB	[lista plików]
armel	5 240,0 KiB	43 303,0 KiB	[lista plików]
armhf	5 226,0 KiB	40 551,0 KiB	[lista plików]
i386	5 608,9 KiB	41 663,0 KiB	[lista plików]
mips64el	5 447,0 KiB	67 326,0 KiB	[lista plików]
mipsel	5 238,9 KiB	47 563,0 KiB	[lista plików]
ppc64el	5 912,5 KiB	113 438,0 KiB	[lista plików]
s390x	6 213,3 KiB	60 566,0 KiB	[lista plików]